Sciweavers

713 search results - page 90 / 143
» Toward a More Reliable Theory of Software Reliability
Sort
View
COMPSAC
2003
IEEE
15 years 5 months ago
Effects of Introducing Survival Behaviours into Automated Negotiators
With the rise of distributed e-commerce in recent years, demand for automated negotiation has increased. In turn, this has facilitated a demand for ever more complex algorithms to...
Peter Henderson, Stephen Crouch, Robert John Walte...
CAMP
2005
IEEE
15 years 1 months ago
An Open System for 3D Data Acquisition from Multiple Sensor
Abstract— This paper describes a work in progress on a multisensor system for 3D data acquisition. The system core structure is a 3D-range scan based on the well known active tri...
Francesco Isgrò, Francesca Odone, Alessandr...
SIGSOFT
2005
ACM
16 years 17 days ago
CUTE: a concolic unit testing engine for C
In unit testing, a program is decomposed into units which are collections of functions. A part of unit can be tested by generating inputs for a single entry function. The entry fu...
Koushik Sen, Darko Marinov, Gul Agha
ISSTA
2009
ACM
15 years 6 months ago
Memory slicing
Traditional dynamic program slicing techniques are code-centric, meaning dependences are introduced between executed statement instances, which gives rise to various problems such...
Bin Xin, Xiangyu Zhang
SOFSEM
2004
Springer
15 years 5 months ago
Flexibility through Multiagent Systems: Solution or Illusion?
Multiagent software systems are known to exhibit a system-level behavior that rarely can be predicted from the description of individual agents but must be observed in simulation o...
Peter C. Lockemann, Jens Nimis