3887 search results - page 334 / 778 » The World as Evolving Information |
178
Voted
VSTTE
2005
Springer
16 years 10 days ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
169
click to vote
MM
2004
ACM
16 years 8 days ago
2004
ACM
This is a personal narrative that began 30 years ago as a childhood hobby, of wearing and implanting various sensors, effectors, and multimedia computation in order to re-define...
166
Voted
UML
2004
Springer
16 years 6 days ago
2004
Springer
Use Cases have achieved wide use as a specification tool for observable behavior of systems. However, there is still much controversy, inconsistent use, and free-flowing interpreta...
203
Voted
ISPE
2003
15 years 8 months ago
2003
ABSTRACT: In the context of Internet-based applications where heterogeneous, legacy entities should integrate and cooperate, the efficiency of the software production process is a ...
198
Voted
WSC
2004
15 years 8 months ago
2004
Using simulated data to develop and study diagnostic tools for data analysis is very beneficial. The user can gain insight about what happens when assumptions are violated since t...