Sciweavers

713 search results - page 90 / 143
» Toward a More Reliable Theory of Software Reliability
Sort
View
COMPSAC
2003
IEEE
15 years 11 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...
186
Voted
CAMP
2005
IEEE
15 years 8 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 6 months 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
16 years 18 days 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 11 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