2493 search results - page 398 / 499 » Tool Support for Design by Contract |
HICSS
2002
IEEE
15 years 2 months ago
2002
IEEE
This paper provides an overview on a German lighthouse research project called L3 in the area of e-learning systems that supply e-learning services via a virtual private network. ...
MOBILITY
2009
ACM
15 years 2 months ago
2009
ACM
The convergence of desktop, mobile and web application development has resulted in new types of software systems. These new systems are built to leverage the World Wide Web, and t...
DSN
2000
IEEE
15 years 2 months ago
2000
IEEE
Group communication systems are proven tools upon which to build fault-tolerant systems. As the demands for fault-tolerance increase and more applications require reliable distrib...
DAC
1997
ACM
15 years 2 months ago
1997
ACM
We describe an architectural design space exploration methodology that minimizes the energy dissipation of digital circuits. The centerpiece of our methodology is a Verilog-based ...
IWANN
1995
Springer
15 years 1 months ago
1995
Springer
1 This paper presents a new technique for the design of real-time controllers based on a hybrid approach which integrates several control strategies, such as intelligent controlle...