1159 search results - page 94 / 232 » On The Next Move in Programming |
102
Voted
JUCS
2010
14 years 11 months ago
2010
: This paper presents an agent-based system for building and operating agent-based context-aware services in public spaces, including museums. The system provides users with agents...
104
click to vote
PERCOM
2010
ACM
14 years 11 months ago
2010
ACM
High-end mobile phones are quickly becoming versatile sensing platforms, capable of continuously capturing the dynamic context of their owners through various sensors. A change in...
133
click to vote
CORR
2010
Springer
14 years 11 months ago
2010
Springer
VANETs (Vehicular Ad hoc Networks) are highly mobile wireless ad hoc networks and will play an important role in public safety communications and commercial applications. Routing ...
CAV
2007
Springer
15 years 6 months ago
2007
Springer
stractions from Proofs Ranjit Jhala1 Kenneth L. McMillan2 1 UC San Diego 2 Cadence Berkeley Laboratories We present a technique for using infeasible program paths to automatically ...
89
Voted
ISSRE
2002
IEEE
15 years 5 months ago
2002
IEEE
Fault insertion based techniqueshave been used for measuring test adequacy and testability of programs. Mutation analysis inserts faults into a program with the goal of creating m...