225 search results - page 26 / 45 » Design for Constraint Violation Detection in Safety-Critical... |
151
click to vote
JSS
2007
15 years 5 months ago
2007
Large systems often have a long life-span and comprise many intricately related elements. The verification and maintenance of these systems require a good understanding of their ...
168
click to vote
VL
1996
IEEE
15 years 10 months ago
1996
IEEE
As multimedia applications spread widely, it is crucial for programming and design support systems to handle "time" in multimedia documents effectively and flexibly. This...
171
click to vote
JCS
2002
15 years 5 months ago
2002
We describe the use of a domain-specific language (DSL) for expressing critical design values and constraints in an intrusion detection application. Through the use of this specia...
155
click to vote
ECOOPW
1999
Springer
15 years 10 months ago
1999
Springer
Extensible systems, such as Java or the SPIN extensible operating system, allow for units of code, or extensions, to be added to a running system in almost arbitrary fashion. Exte...
248
click to vote
PODS
2009
ACM
16 years 6 months ago
2009
ACM
The paper investigates the question of whether a partially closed database has complete information to answer a query. In practice an enterprise often maintains master data Dm, a ...