18429 search results - page 66 / 3686 » Typing dynamic typing |
124
click to vote
CSMR
2005
IEEE
15 years 9 months ago
2005
IEEE
In complex systems, it is difficult to identify which system element is involved in which requirement. In this article, we present a new approach for expressing and validating a ...
121
click to vote
DIAGRAMS
2006
Springer
15 years 7 months ago
2006
Springer
Illustrating a dynamic process with an arrow-containing diagram is a widespread convention in people's daily communications. In order to build a basis for capturing the struct...
147
click to vote
ENTCS
2007
15 years 4 months ago
2007
We describe a modular programming style that harnesses modern type systems to verify safety conditions in practical systems. This style has three ingredients: (i) A compact kernel...
145
click to vote
ICSM
1997
IEEE
15 years 8 months ago
1997
IEEE
To reduce the effort spent on system comprehension during software maintenance, easy access to different type of information describing the system features is necessary. This is u...
127
click to vote
ICCAD
2002
IEEE
16 years 1 months ago
2002
IEEE
This paper describes a dynamic voltage and frequency scaling (DVFS) technique for MPEG decoding to reduce the energy consumption while maintaining a quality of service (QoS) constr...