506 search results - page 83 / 102 » Where Is the Value in a Program Verifier |
164
Voted
IGPL
2011
14 years 7 months ago
2011
This paper presents J-MADeM, a multi-modal decision making mechanism to provide agents in a Multi-Agent Systems (MAS) with a market-based model for complex decision problems. J-MA...
133
click to vote
INFOCOM
2012
IEEE
13 years 2 months ago
2012
IEEE
Abstract—Opportunistic wireless channel access by nonlicensed users has emerged as a promising solution for addressing the bandwidth scarcity challenge. Auctions represent a natu...
122
click to vote
SIGCOMM
2010
ACM
15 years 20 days ago
2010
ACM
We revisit the device-driver architecture supported by the majority of operating systems, where a driver is a passive object that does not have its own thread of control and is on...
208
click to vote
SIGMOD
2006
ACM
16 years 19 days ago
2006
ACM
Monitoring is an issue of primary concern in current and next generation networked systems. For example, the objective of sensor networks is to monitor their surroundings for a va...
113
click to vote
AES
2008
Springer
15 years 18 days ago
2008
Springer
Animation can add significant value to Discrete-Event Simulation by helping verify, validate, and accredit simulation analyses. This is particularly true in construction where typ...