1460 search results - page 60 / 292 » Very Lightweight Requirements Modeling |
FSEN
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Groote, Pang and Wouters (2001) analyzed an existing distributed lift system using the process algebraic toolset µCRL. Pang, Karstens and Fokkink (2003) analyzed a redes...
DATE
2005
IEEE
14 years 3 months ago
2005
IEEE
Efficient evaluation of design choices, in terms of selection of algorithms to be implemented as hardware or software, and finding an optimal hw/sw design mix is an important re...
MSE
2002
IEEE
14 years 2 months ago
2002
IEEE
A composite multimedia object has specific timing relationships among the different types of component media. Coordinating the real-time presentation of information and maintaini...
ASAP
2000
IEEE
14 years 2 months ago
2000
IEEE
High level modeling and (quantitative) performance analysis of signal processing systems requires high level models for the applications(algorithms) and the implementations (archi...
GLVLSI
2000
IEEE
14 years 2 months ago
2000
IEEE
Symbolic Model checking is a widely used technique in sequential verification. As the size of the OBDDs and also the computation time depends on the order of the input variables,...