877 search results - page 157 / 176 » Thomas: Practical Applications of Agents and Multiagent Syst... |
WOSP
2010
ACM
15 years 6 months ago
2010
ACM
In this paper we provide a general method to derive productform solutions for stochastic models. We take inspiration from the Reversed Compound Agent Theorem [14] and we provide a...
EDBT
2008
ACM
15 years 11 months ago
2008
ACM
Data management functionality is not only needed in large-scale server systems, but also in embedded systems. Resource restrictions and heterogeneity of hardware, however, complic...
100
click to vote
RTAS
2009
IEEE
15 years 6 months ago
2009
IEEE
—We define a family of execution policies for a programming model called PTIDES (Programming Temporally Integrated Distributed Embedded Systems). A PTIDES application (factory a...
107
click to vote
VMCAI
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Symmetry reduction is a technique to alleviate state explosion in model checking by replacing a model of replicated processes with a bisimilar quotient model. The size of...
HCI
2001
15 years 1 months ago
2001
: Most current electronic services do not address the breadth of design issues necessary to comply with `design-for-all' concepts, despite the fact that various design-for-all...