5672 search results - page 761 / 1135 » Design techniques for low-power systems |
201
click to vote
FASE
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Software architecture constitutes a promising approach to the development of large-scale distributed systems, but architecture description languages (ADLs) and their asso...
193
click to vote
WETICE
2005
IEEE
16 years 11 days ago
2005
IEEE
System theory propagates the use of models which e level of abstraction to cope with complexity, evolving out of variety and connectivity. Different modeling techniques have been ...
215
click to vote
AADEBUG
2005
Springer
16 years 11 days ago
2005
Springer
One of today’s challenges is producing reliable software in the face of an increasing number of interacting components. Our system CHET lets developers define specifications des...
189
click to vote
BTW
2005
Springer
16 years 11 days ago
2005
Springer
More than two decades ago, DB researchers faced up to the question of how to design a data-independent database management system (DBMS), that is, a DBMS which offers an appropriat...
174
click to vote
DSVIS
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...