2850 search results - page 475 / 570 » On Timed Models and Full Abstraction |
106
Voted
FMOODS
2003
15 years 2 months ago
2003
Abstract. The component-based model of code execution imposes some requirements on the software components themselves, and at the same time lays some constraints on the modern run-...
152
Voted
SIROCCO
1997
15 years 2 months ago
1997
A cellular network is generally modeled as a subgraph of the triangular lattice. In the static frequency assignment problem, each vertex of the graph is a base station in the netw...
100
Voted
BILDMED
2009
15 years 1 months ago
2009
Abstract. Reflection of sound waves, due to acoustic impedance mismatch at the interface of two media, is the principal physical property which allows visualization with ultrasound...
133
Voted
EPEW
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Restricting the power of the schedulers that resolve the nondeterminism in probabilistic concurrent systems has recently drawn the attention of the research community. Th...
95
Voted
AAMAS
2007
Springer
15 years 26 days ago
2007
Springer
Protocols enable unambiguous, smooth interactions among agents. Commitments among agents are a powerful means of developing protocols. Commitments enable flexible execution of pro...