3729 search results - page 608 / 746 » On Formal Modeling of Agent Computations |
175
click to vote
ETFA
2006
IEEE
15 years 10 months ago
2006
IEEE
Wireless sensor networks (WSN) consist of small self-contained devices with computational, sensing and wireless communication capabilities. They allow flexible, powerful, tetherles...
138
click to vote
PDP
2007
IEEE
16 years 21 days ago
2007
IEEE
Scientific and engineering programming has been around since the beginning of computing, often being the driving force for new system development and innovation. At the same time...
181
click to vote
CMSB
2006
Springer
15 years 10 months ago
2006
Springer
Type checking and type inference are important concepts and methods of programming languages and software engineering. Type checking is a way to ensure some level of consistency, d...
200
click to vote
EAGC
2003
Springer
15 years 11 months ago
2003
Springer
Application layer networks are software architectures that allow the provisioning of services requiring a huge amount of resources by connecting large numbers of individual compute...
170
click to vote
SIGECOM
2006
ACM
16 years 11 days ago
2006
ACM
We investigate the space of two-sided multiattribute auctions, focusing on the relationship between constraints on the offers traders can express through bids, and the resulting c...