71 search results - page 10 / 15 » Integrating Asynchronous Digital Design Into the Computer En... |
SAC
2005
ACM
14 years 1 months ago
2005
ACM
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
DSVIS
2005
Springer
14 years 1 months 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...
ISSS
2002
IEEE
14 years 13 days ago
2002
IEEE
ForSyDe (FORmal SYstem DEsign) is a methodology which addresses the design of SoC applications which may contain control as well as data flow dominated parts. Starting with a for...
CIKM
1997
Springer
13 years 11 months ago
1997
Springer
The access patterns of the users of a web-site are traditionally analyzed in order to facilitate the user access to the site's information. In this study, however, a systemat...
CG
1999
Springer
13 years 7 months ago
1999
Springer
Business process re-engineering is becoming a main focus in today's efforts to overcome problems and deficits in the automotive and aerospace industries (e.g., integration in...