11214 search results - page 439 / 2243 » Programming Multi-agent Systems |
154
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Several research efforts have studied ways to infer properties of software systems from program spectra gathered from the running systems, usually with software-level instrumentat...
204
click to vote
WOA
2010
15 years 4 months ago
2010
Wireless Sensor Networks (WSNs) are currently emerging as one of the most disruptive technologies enabling and supporting next generation ubiquitous and pervasive computing scenari...
201
click to vote
SAINT
2006
IEEE
16 years 27 days ago
2006
IEEE
1 Establishing suitable programming models for pervasive spaces is essential in improving the productivity, enhancing the quality of pervasive systems, and creating an open platfor...
160
click to vote
LPNMR
2005
Springer
16 years 11 days ago
2005
Springer
In this work we describe a system for determining strong equivalence of disjunctive non-ground datalog programs under the stable model semantics. The problem is tackled by reducing...
147
click to vote
VMCAI
2005
Springer
16 years 11 days ago
2005
Springer
We present a technique to prove termination of multipath polynomial programs, an expressive class of loops that enables practical traction and analysis. The technique is based on ï...