Get Affordable VMs - excellent virtual server hosting


browse words by letter
a b c d e f g h i j k l m n o p q r s t u v w x y z
darwin

more about darwin

darwin

 

  3  definitions  found 
 
  From  WordNet  r  1.6  [wn]: 
 
  Darwin 
  n  1:  English  natural  scientist  whose  `On  the  Origin  of  Species' 
  formulated  a  theory  of  evolution  by  natural  selection 
  (1809-1882)  [syn:  {Darwin},  {Charles  Darwin},  {Charles 
  Robert  Darwin}] 
  2:  provincial  capital  of  the  Northern  Territory  of  Australia 
  [syn:  {Darwin}] 
 
  From  U.S.  Gazetteer  (1990)  [gazetteer]: 
 
  Darwin,  MN  (city,  FIPS  14842) 
  Location:  45.09701  N,  94.40406  W 
  Population  (1990):  252  (124  housing  units) 
  Area:  1.9  sq  km  (land),  0.2  sq  km  (water) 
  Zip  code(s):  55324 
 
  From  The  Free  On-line  Dictionary  of  Computing  (13  Mar  01)  [foldoc]: 
 
  Darwin 
 
  1.    A  general  purpose  structuring  tool  of 
  use  in  building  complex  {distributed  systems}  from  diverse 
  components  and  diverse  component  interaction  mechanisms. 
  Darwin  is  being  developed  by  the  Distributed  Software 
  Engineering  Section  of  the  Department  of  Computing  at 
  {Imperial  College}.  It  is  in  essence  a  {declarative}  binding 
  language  which  can  be  used  to  define  hierarchic  compositions 
  of  interconnected  components.  Distribution  is  dealt  with 
  orthogonally  to  system  structuring.  The  language  allows  the 
  specification  of  both  static  structures  and  dynamic  structures 
  which  evolve  during  execution.  The  central  abstractions 
  managed  by  Darwin  are  components  and  services.  Bindings  are 
  formed  by  manipulating  references  to  services. 
 
  The  {operational  semantics}  of  Darwin  is  described  in  terms  of 
  the  {Pi-calculus},  {Milner}'s  calculus  of  mobile  processes. 
  The  correspondence  between  the  treatment  of  names  in  the 
  Pi-calculus  and  the  management  of  service  references  in  Darwin 
  leads  to  an  elegant  and  concise  Pi-calculus  model  of  Darwin's 
  {operational  semantics}.  The  model  has  proved  useful  in 
  arguing  the  correctness  of  Darwin  implementations  and  in 
  designing  extensions  to  Darwin  and  reasoning  about  their 
  behaviour. 
 
  {Distributed  Software  Engineering  Section 
  (http://www-dse.doc.ic.ac.uk/)}.  {Darwin  publications 
  (http://scorch.doc.ic.ac.uk/dse-papers/darwin/)}. 
 
  E-mail:  Jeff  Magee  ,  Naranker  Dulay 
  . 
 
  2.  {Core  War}. 
 
  (1998-10-30)




more about darwin