211 search results - page 14 / 43 » Towards the Operational Semantics of User-Centric Communicat... |
IAT
2009
IEEE
14 years 2 months ago
2009
IEEE
—Commitments based on branching time logic are powerful representations for modeling multi-agent interactions. Current approaches into commitments have conceived these representa...
LCPC
2009
Springer
14 years 10 days ago
2009
Springer
PC grids represent massive computation capacity at a low cost, but are challenging to employ for parallel computing because of variable and unpredictable performance and availabili...
EUROPAR
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. To analyze the correctness and the performance of a program, information about the dynamic behavior of all participating processes is needed. The dynamic behavior can be ...
MOBICOM
1998
ACM
14 years 17 hour ago
1998
ACM
ibe an abstract architecture of adaptive applications, and indicate where we believe crucial design decisions must We illustrate the use of the abstract model in the design and im...
RSS
2007
13 years 9 months ago
2007
— While robot mapping has seen massive strides , higher level abstractions in map representation are still not widespread. Maps containing semantic concepts such as objects and l...