10159 search results - page 242 / 2032 » System Design Validation Using Formal Models |
103
click to vote
ICECCS
2002
IEEE
15 years 8 months ago
2002
IEEE
Developers of complex systems have to address concerns such as security, availability of services, and timeliness that often are non-orthogonal to traditional design structures, t...
133
click to vote
CORR
2006
Springer
15 years 3 months ago
2006
Springer
The Unified Software Development Process (USDP) and Unified Modeling Language (UML) have been now generally accepted as the standard methodology and modeling language for developin...
109
click to vote
DAC
2000
ACM
16 years 4 months ago
2000
ACM
Contemporary microprocessors implement many iterative algorithms. For example, the front-end of a microprocessor repeatedly fetches and decodes instructions while updating interna...
125
click to vote
PERCOM
2007
ACM
16 years 2 months ago
2007
ACM
In this paper, we report on a user-centered, iterative design process for augmenting sports equipment with ubiquitous computing technology. In several design iterations, a fully w...
113
click to vote
SIGADA
2005
Springer
15 years 8 months ago
2005
Springer
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...