3575 search results - page 399 / 715 » Modeling Concurrency with Geometry |
195
Voted
CSFW
2005
IEEE
16 years 1 months ago
2005
IEEE
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...
188
click to vote
PASTE
2004
ACM
16 years 26 days ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
203
click to vote
PPPJ
2004
ACM
16 years 26 days ago
2004
ACM
This paper discusses the current resurgence of interest in the Linda coordination language for parallel and distributed programming. Particularly in the Java field, there have be...
203
click to vote
CLUSTER
2003
IEEE
16 years 22 days ago
2003
IEEE
This paper presents a concurrent object model based on distributed recursive sets for data intensive applications that use complex, recursive data layouts. The set abstraction is ...
235
click to vote
IAT
2003
IEEE
16 years 22 days ago
2003
IEEE
This paper defines an approach to simulation of natural systems, inspired by complex systems theory. A complex natural system is modeled as a multi-agent simulation system, agents...