9267 search results - page 151 / 1854 » Expectation-Oriented Analysis and Design |
CCS
2009
ACM
14 years 1 months ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...
ACMDIS
2006
ACM
14 years 26 days ago
2006
ACM
Randomness is being harnessed in the design of some interactive systems. This is observed in random blogs, random web searching, and in particular Apple's iPod Shuffle. Yet t...
PATMOS
2000
Springer
14 years 21 days ago
2000
Springer
Abstract. Reduction of chip packaging and cooling costs for deep sub-micron SystemOn-Chip (SOC) designs is an emerging issue. We present a simulation-based methodology able to real...
ACMDIS
2008
ACM
13 years 11 months ago
2008
ACM
There has been a growing interest to develop technologies for laboratory environments. However, existing systems are underdeployed in real research labs. In order to create more s...
EDOC
2008
IEEE
13 years 11 months ago
2008
IEEE
The service-oriented architectural style is widely perceived today. However, service orientation is a very general concept and its application in real-life situations is somewhat ...