2205 search results - page 190 / 441 » Mutation Operators for Specifications |
ACSD
2004
IEEE
15 years 6 months ago
2004
IEEE
Abstract. A delay-insensitive module communicates with its environment through wires of unbounded delay. To avoid transmission interference, the absorption of a signal transition m...
119
click to vote
ENC
2004
IEEE
15 years 6 months ago
2004
IEEE
This paper deals with the problem of controlling highly dynamic mechatronic systems. Such systems may work in several different operation modes, or even underlie continuous mode c...
134
click to vote
ETRICS
2006
15 years 6 months ago
2006
To cope with the complex requirements imposed on the processing of privacy-sensitive data within enterprises, the use of automatic or semi-automatic tools is gradually becoming in...
125
Voted
ACSAC
2001
IEEE
15 years 6 months ago
2001
IEEE
The Java (TM) Virtual Machine is being used more frequently as the basic engine behind dynamic web services. With the proliferation of network attacks on these network resources, ...
110
click to vote
APCSAC
2001
IEEE
15 years 6 months ago
2001
IEEE
Since we first devised and defined password-capabilities as a new technique for building capability-based operating systems, a number of research systems around the world have use...