51 search results - page 7 / 11 » Behavior and communication co-optimization for systems with ... |
MDM
2010
Springer
13 years 11 months ago
2010
Springer
— People’s location histories imply the location correlation that states the relations between geographical locations in the space of human behavior. With the correlation, we c...
SAS
2012
Springer
11 years 9 months ago
2012
Springer
Programming distributed and reactive asynchronous systems is complex due to the lack of synchronization between concurrently executing tasks, and arbitrary delay of message-based c...
ATAL
2004
Springer
14 years 3 days ago
2004
Springer
We investigate the design of iterative, limited-precision mechanisms for single-good auctions with dominant strategy equilibria. Our aim is to design mechanisms that minimize the ...
VRML
2003
ACM
13 years 12 months ago
2003
ACM
Embodied agents or humanoid avatars may effectively be used to communicate with human users. Currently there is a wide range of specification formalisms and scripting languages f...
ICECCS
2005
IEEE
14 years 9 days ago
2005
IEEE
Live Sequence Charts (LSCs) are a broad extension to Message Sequence Charts (MSCs) to capture complex interobject communication rigorously. A tool support for LSCs, named PlayEng...