950 search results - page 62 / 190 » Developing Law-Governed Systems Using Aspects |
ECAI
2004
Springer
15 years 5 months ago
2004
Springer
Tasks like diagnosis, failure-modes-and-effects analysis (FMEA), and therapy proposal involve reasoning about variables and parameters deviating from some reference state. In model...
102
click to vote
FASE
1998
Springer
15 years 4 months ago
1998
Springer
A loose semantics for graph transformation rules which has been developed recently is used in this paper for the compositional verification of specifications. The main conceptual t...
ETFA
2008
IEEE
15 years 6 months ago
2008
IEEE
Security aspects of today’s automation systems gain increasing importance. One critical point regarding security is the exchange of control data over the network. Recently, cryp...
DESRIST
2009
Springer
15 years 4 months ago
2009
Springer
Design science is slowly but surely establishing itself as a recognized paradigm for conducting research in information systems. Researchers in the IS field have tried to study d...
ICDCS
2000
IEEE
15 years 4 months ago
2000
IEEE
Replication is an area of interest to both distributed systems and databases. The solutions developed from these two perspectives are conceptually similar but differ in many aspec...