877 search results - page 157 / 176 » Thomas: Practical Applications of Agents and Multiagent Syst... |
157
click to vote
WOSP
2010
ACM
16 years 27 days 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...
161
click to vote
EDBT
2008
ACM
16 years 6 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...
162
click to vote
RTAS
2009
IEEE
16 years 23 days 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...
178
click to vote
VMCAI
2009
Springer
16 years 25 days 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...
125
click to vote
HCI
2001
15 years 7 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...