1888 search results - page 318 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
143
Voted
MIDDLEWARE
2004
Springer
15 years 8 months ago
2004
Springer
Application servers provide many functionalities commonly needed in the development of a complex distributed application. So far, the functionalities have mostly been developed an...
180
Voted
FMSB
2008
15 years 4 months ago
2008
We introduce bounded asynchrony, a notion of concurrency tailored to the modeling of biological cell-cell interactions. Bounded asynchrony is the result of a scheduler that bounds ...
115
Voted
IPPS
2005
IEEE
15 years 8 months ago
2005
IEEE
The InfiniBandTM Architecture (IBA) is a new promising I/O communication standard positioned for building clusters and System Area Networks (SANs). However, the IBA specification ...
136
click to vote
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
In this paper we combine existing work in the area of social laws with a framework for reasoning about knowledge in multi-agent systems. The unifying framework in which this is do...
132
Voted
WWW
2007
ACM
16 years 3 months ago
2007
ACM
As the amount of data being generated in biology has increased, a major challenge has been how to store and represent this data in a way that makes it easily accessible to researc...