8623 search results - page 1512 / 1725 » Software engineering for secure systems |
132
click to vote
MM
2004
ACM
15 years 10 months ago
2004
ACM
Auracle is a networked sound instrument controlled by the voice. Users jam together over the Internet using only a microphone. Throughout the development process, the authors expe...
143
click to vote
ARCS
2004
Springer
15 years 10 months ago
2004
Springer
: Mechatronic units are characterized by a complex interaction of functions from mechanics, electronics, communication and computer systems. These different fields of technology as...
137
Voted
CBSE
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Long running applications often need to adapt due to changing requirements or changing environment. Typically, such adaptation is performed by dynamically adding or remov...
136
click to vote
CSCLP
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We propose to use bilattice as a constraint valuation structure in order to represent truth and belief at the same time. A bilattice is a set which owns two lattices orde...
120
click to vote
FATES
2004
Springer
15 years 10 months ago
2004
Springer
We present a technique for specifying coverage criteria and a method for generating test suites for systems whose behaviours can be described as extended finite state machines (EF...