7064 search results - page 340 / 1413 » From States to Histories |
137
click to vote
BIRTHDAY
2000
Springer
15 years 10 months ago
2000
Springer
Various forms of assumption/commitment specifications have been used to specify and reason about the interference that comes from concurrent execution; in particular, consistent a...
174
click to vote
APPINF
2003
15 years 8 months ago
2003
An approach for specifying the management of a distributed system is herein described. Based on this formal approach, a management can be generated. The base of the specification ...
170
click to vote
WSC
1998
15 years 8 months ago
1998
A model is proposed which identifies factors associated with the adoption of discrete event simulation and places them within an explanatory framework. The model proposes four mai...
165
Voted
COGSCI
2010
15 years 7 months ago
2010
Human cognition is striking in its brilliance and its adaptability. How do we get that way? How do we move from the nearly helpless state of infants to the cognitive proficiency t...
172
click to vote
PAA
2006
15 years 6 months ago
2006
Abstract Given the importance of implicit communication in human interactions, it would be valuable to have this capability in robotic systems wherein a robot can detect the motiva...