7380 search results - page 788 / 1476 » Engineering Software Intensive Systems |
208
click to vote
VMCAI
2004
Springer
16 years 24 days ago
2004
Springer
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...
219
click to vote
ISPASS
2003
IEEE
16 years 22 days ago
2003
IEEE
Power-performance optimization is a relatively new problem area particularly in the context of server clusters. Poweraware request distribution is a method of scheduling service r...
208
click to vote
FASE
2003
Springer
16 years 20 days ago
2003
Springer
In this paper, we present a generic approach to integrate datatypes expressed using formal specification languages within state diagrams. Our main motivations are (i) to be able t...
217
click to vote
COMPSAC
2002
IEEE
16 years 13 days ago
2002
IEEE
Visual Query Languages represent an evolution, in terms of understandability and adaptability, with respect to traditional textual languages. We present an iconic query system tha...
218
click to vote
EMSOFT
2001
Springer
15 years 12 months ago
2001
Springer
Abstract. This paper presents our experience implementing the memory management extensions in the Real-Time Specification for Java. These extensions are designed to given real-tim...