276 search results - page 24 / 56 » A Case Study in the Use of Theory Revision in Requirements V... |
SIGSOFT
2010
ACM
13 years 5 months ago
2010
ACM
Empirical studies of software defects rely on links between bug databases and program code repositories. This linkage is typically based on bug-fixes identified in developer-enter...
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
Mechanism design (MD) has recently become a very popular approach in the design of distributed systems of autonomous agents. A key assumption required for the application of MD is...
LICS
2002
IEEE
14 years 17 days ago
2002
IEEE
Tarski asked whether the arithmetic identities taught in high school are complete for showing all arithmetic equations valid for the natural numbers. The answer to this question f...
ICEBE
2009
IEEE
13 years 5 months ago
2009
IEEE
This paper has investigated the issue of virtual wealth and its realization in both real and virtual worlds, and argued that the realization of virtual wealth is necessary and pos...
EMSOFT
2006
Springer
13 years 9 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...