4520 search results - page 814 / 904 » Algebraic Techniques for Timed Systems |
104
Voted
IJAOSE
2010
14 years 11 months ago
2010
CASO is an agent-oriented programming language based on AgentSpeak(L), one of the most influential abstract languages based on the BDI (Beliefs-Desires-Intentions) architecture. ...
118
Voted
ISVC
2010
Springer
14 years 11 months ago
2010
Springer
We extend our previous work on the exploration of static metabolic networks to evolving, and therefore dynamic, pathways. We apply our visualization software to data from a simulat...
106
Voted
JCNS
2010
14 years 11 months ago
2010
Binocular rivalry occurs when two very different images are presented to the two eyes, but a subject perceives only one image at a given time. A number of computational models for...
101
Voted
OOPSLA
2010
Springer
14 years 11 months ago
2010
Springer
As heterogeneous parallel systems become dominant, application developers are being forced to turn to an incompatible mix of low level programming models (e.g. OpenMP, MPI, CUDA, ...
133
Voted
PVLDB
2010
14 years 11 months ago
2010
Replication is a key mechanism to achieve scalability and fault-tolerance in databases. Its importance has recently been further increased because of the role it plays in achievin...