2500 search results - page 4 / 500 » Specifying Behavior in C |
SIGOPSE
2004
ACM
13 years 11 months ago
2004
ACM
This paper presents market-based macroprogramming (MBM), a new paradigm for achieving globally efficient behavior in sensor networks. Rather than programming the individual, low-...
RTAS
2009
IEEE
14 years 15 days ago
2009
IEEE
—The Collaborative Sensing Language (CSL) is a high-level feedback control language for mobile sensor networks (MSN). It specifies MSN controllers to accomplish network objectiv...
AGENTS
2001
Springer
13 years 10 months ago
2001
Springer
Software agents are currently the subject of much research in many interrelated fields. Unfortunately, there has not been enough emphasis on defining the techniques required to bu...
PARLE
1987
13 years 9 months ago
1987
OOPSLA
2007
Springer
13 years 12 months ago
2007
Springer
Java bug finders perform static analysis to find implementation mistakes that can lead to exploits and failures; Java compilers perform static analysis for optimization. If Java...