2004 search results - page 131 / 401 » Comparison of Model Checking Tools for Information Systems |
168
click to vote
ICEIS
2008
IEEE
15 years 11 months ago
2008
IEEE
In many areas of computer science ontologies become more and more important. The use of ontologies for domain modeling often brings up the issue of ontology integration. The task o...
149
click to vote
FGIT
2009
Springer
15 years 11 months ago
2009
Springer
Recently, most of malicious web pages include obfuscated codes in order to circumvent the detection of signature-based detection systems .It is difficult to decide whether the sti...
147
click to vote
FM
2008
Springer
15 years 6 months ago
2008
Springer
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
130
click to vote
ENTCS
2006
15 years 5 months ago
2006
We present a prototype implementation of SOS meta-theory in the Maude term rewriting language. The prototype defines the basic concepts of SOS meta-theory (e.g., transition formul...
194
click to vote
ICSE
2009
IEEE-ACM
16 years 5 months ago
2009
IEEE-ACM
Process models capture tasks performed by agents together with their control flow. Building and analyzing such models is important but difficult in certain areas such as safety-cr...