1922 search results - page 209 / 385 » Systems biology, models, and concurrency |
FOSSACS
2007
Springer
15 years 7 months ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...
143
click to vote
CONCURRENCY
2000
15 years 1 months ago
2000
The 1990s are seeing the explosive growth of the Internet and Web-based information sharing and dissemination systems. The Internet is also showing a potential of forming of a sup...
153
click to vote
DSD
2011
IEEE
14 years 1 months ago
2011
IEEE
Abstract—We present a new low-level interfacing scheme for connecting custom accelerators to processors that tolerates latencies that usually occur when accessing hardware accele...
111
click to vote
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
In this paper, we present the most important features of SeSAm, a modeling and simulation platform for multi-agent simulations. Based on a declarative, explicit model representati...
NECO
2008
15 years 1 months ago
2008
To perform automatic, unconscious inference, the human brain must solve the "binding problem" by correctly grouping properties with objects. Temporal binding models like...