483 search results - page 87 / 97 » Experimental Software Engineering: A Report on the State of ... |
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
This paper reports experiences and outcomes of designing and developing an agent–based, autonomous mission control system for an unmanned aerial vehicle (UAV). Most UAVs are not...
LCTRTS
2004
Springer
14 years 25 days ago
2004
Springer
Most modern compilers operate by applying a fixed, program-independent sequence of optimizations to all programs. Compiler writers choose a single “compilation sequence”, or ...
POPL
2007
ACM
14 years 7 months ago
2007
ACM
An invariance assertion for a program location is a statement that always holds at during execution of the program. Program invariance analyses infer invariance assertions that ca...
TASE
2010
IEEE
13 years 2 months ago
2010
IEEE
--This paper presents a novel approach to evaluate the response time in networked automation systems (NAS) that use a client/server protocol. The developments introduced are derive...
MOBISYS
2007
ACM
14 years 7 months ago
2007
ACM
Software failures in wireless sensor systems are notoriously difficult to debug. Resource constraints in wireless deployments substantially restrict visibility into the root cause...