1317 search results - page 209 / 264 » Fusions of Description Logics and Abstract Description Syste... |
109
click to vote
MEMOCODE
2007
IEEE
15 years 8 months ago
2007
IEEE
The always increasing complexity of digital system is overcome in design flows based on Transaction Level Modeling (TLM) by designing and verifying the system at difbstraction le...
102
click to vote
HICSS
2003
IEEE
15 years 7 months ago
2003
IEEE
Incompatibility of component interaction styles is identified as a major obstacle to interoperability when using off-the-shelf components or dealing with legacy software in compos...
123
click to vote
ETRICS
2006
15 years 5 months ago
2006
Abstract. Most intrusion detection systems deployed today apply misuse detection as detection procedure. Misuse detection compares the recorded audit data with predefined patterns,...
132
click to vote
ENTCS
2007
15 years 1 months ago
2007
In recent papers we have introduced Mobile Synchronizing Petri Nets, a new model for mobility based on coloured Petri Nets. It allows the description of systems composed of a coll...
128
click to vote
GI
1997
Springer
15 years 5 months ago
1997
Springer
Abstract. This text describes how persistent object system technology developed in European basic research is being used by a small German startup software company to realize innov...