6722 search results - page 314 / 1345 » The DSML4MAS development environment |
166
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
A new static analyzer is described, based on the analyzer Fluctuat. Its goal is to synthetize invariants for hybrid systems, encompassing a continuous environment described by a sy...
156
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
Many studies have explored the issues of interruption and availability in workplace environments, however, few have focused on human interruptibility in home environments. To make...
189
click to vote
HPDC
2006
IEEE
16 years 24 days ago
2006
IEEE
Grid applications that use a considerable number of processors for their computations need effective predictions of the expected computation times on the different nodes. Currentl...
175
click to vote
CEEMAS
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. A strong research emphasis is being given towards regulating interoperable multi-agent environments through norms and institutions. We are concerned with environments in ...
186
click to vote
HUC
2004
Springer
16 years 4 days ago
2004
Springer
Ubiquitous computing technologies offer the promise of extending the benefits of computing to workers who do not spend their time at a desktop environment. In this paper, we review...