900 search results - page 173 / 180 » A Tool-Supported Approach to Testing UML Design Models |
115
Voted
SEMWEB
2009
Springer
15 years 10 months ago
2009
Springer
To cope with society’s demand for transparency and corruption prevention, the Brazilian Office of the Comptroller General (CGU) has carried out a number of actions, including: aw...
149
Voted
CCS
2010
ACM
15 years 1 months ago
2010
ACM
Remote operating system fingerprinting relies on implementation differences between OSs to identify the specific variant executing on a remote host. Because these differences can ...
149
click to vote
EMSOFT
2011
Springer
14 years 3 months ago
2011
Springer
We describe a certification approach for software development that has been adopted at our organization. JPL develops robotic spacecraft for the exploration of the solar system. T...
178
Voted
ECOOP
2010
Springer
15 years 6 months ago
2010
Springer
Contracts and specifications have long been used in object-oriented design, programming and testing to enhance reliability before software deployment. However, the use of specifica...
141
Voted
IPPS
1998
IEEE
15 years 7 months ago
1998
IEEE
A number of solutions have been proposed for the problem of mutual exclusion in distributed systems. Some of these approaches have since been extended to a prioritized environment...