5434 search results - page 1054 / 1087 » Tool support for MOLA |
ASM
2008
ASM
13 years 10 months ago
2008
ASM
anguage (Event B), hence staying at the same abstraction level. Thus we take advantage from the Event B method: (i) it is possible to use the method during the whole development pr...
ASWC
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Ontology construction is a labour-intensive and costly process. Even though many formal and semi-formal vocabularies are available, creating an ontology for a specific ap...
CCS
2008
ACM
13 years 10 months ago
2008
ACM
System-call monitoring has become the basis for many hostbased intrusion detection as well as policy enforcement techniques. Mimicry attacks attempt to evade system-call monitorin...
ASSETS
2005
ACM
13 years 10 months ago
2005
ACM
Anecdotal evidence suggests that Web document summaries provide the sighted reader with a basis for making decisions regarding the route to take within non-linear text; and additi...
CLEANDB
2006
ACM
13 years 10 months ago
2006
ACM
An important reality when integrating scientific data is the fact that data may often be "missing", partially specified, or conflicting. Therefore, in this paper, we pre...