Sciweavers

5353 search results - page 348 / 1071
» Modelling Contexts in the Or-BAC Model
Sort
View
ISW
2004
Springer
16 years 7 days ago
A Model for the Semantics of Attack Signatures in Misuse Detection Systems
Misuse Detection systems identify evidence of attacks by searching for patterns of known attacks (signatures). A main problem in this context is the modeling and specification of a...
Michael Meier
3DIM
2003
IEEE
16 years 5 days ago
Effective 3D Modeling Of Heritage Sites
Over the past few years, remarkable increase has occurred in the demand for 3D models for cultural heritage applications. The techniques employed have evolved from surveying and C...
Sabry F. El-Hakim, J.-Angelo Beraldin, Michel Pica...
ACSD
2003
IEEE
125views Hardware» more  ACSD 2003»
16 years 5 days ago
Modelling a Secure, Mobile, and Transactional System with CO-OPN
Modelling complex concurrent systems is often difficult and error-prone, in particular when new concepts coming from advanced practical applications are considered. These new appl...
Didier Buchs, Stanislav Chachkov, David Hurzeler
KBSE
2003
IEEE
16 years 4 days ago
Automated Environment Generation for Software Model Checking
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...
Oksana Tkachuk, Matthew B. Dwyer, Corina S. Pasare...
DOCENG
2003
ACM
16 years 4 days ago
Model driven architecture based XML processing
A number of applications that process XML documents interpret them as objects of application specific classes in a given domain. Generic interfaces such as SAX and DOM leave this ...
Ivan Kurtev, Klaas van den Berg