245 search results - page 23 / 49 » Interactions Between Query Optimization and Concurrency Cont... |
127
click to vote
SIGIR
2012
ACM
13 years 2 months ago
2012
ACM
Versioned document collections are collections that contain multiple versions of each document. Important examples are Web archives, Wikipedia and other wikis, or source code and ...
109
click to vote
CBSE
2005
Springer
15 years 5 months ago
2005
Springer
We consider a class of component-based software models with interaction style of buffered asynchronous message passing between components with ports, represented by UML-RT. After ...
119
click to vote
ASWSD
2004
Springer
15 years 5 months ago
2004
Springer
The paper first presents the integration options of what we call the Timing Description Language (TDL) with MathWorks' Simulink tools. Based on the paradigm of logical executi...
105
click to vote
ACMDIS
2010
ACM
15 years 15 hour ago
2010
ACM
Emergence is a concept that is not easy to grasp, since it contradicts our idea of central control and planning. In this work, we use a swarm of robots as a tangible tool to visua...
107
click to vote
SP
2009
IEEE
15 years 6 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...