2030 search results - page 189 / 406 » Designing Complex Software Implementation Programs |
117
click to vote
ICST
2011
IEEE
14 years 6 months ago
2011
IEEE
—Test-suite augmentation for evolving software— the process of augmenting a test suite to adequately test software changes—is necessary for any program that undergoes modifi...
148
Voted
FOSSACS
2011
Springer
14 years 6 months ago
2011
Springer
The model checking of higher-order recursion schemes has been actively studied and is now becoming a basis of higher-order program verification. We propose a new algorithm for tri...
120
click to vote
LCTRTS
2001
Springer
15 years 7 months ago
2001
Springer
Giotto is a principled, tool-supported design methodology for implementing embedded control systems on platforms of possibly distributed sensors, actuators, CPUs, and networks. Gio...
133
Voted
MA
1999
Springer
15 years 6 months ago
1999
Springer
Hive is a distributed agents platform, a decentralized system for building applications by networking local system resources. This paper presents the architecture of Hive, concent...
160
Voted
ICST
2011
IEEE
14 years 6 months ago
2011
IEEE
—Developers have used data structure repair over the last few decades as an effective means to recover on-the-fly from errors in program state. Traditional repair techniques wer...