1060 search results - page 89 / 212 » Mechanized semantics |
SIGMOD
2001
ACM
15 years 10 months ago
2001
ACM
Intrusion detection is an essential component of computer security mechanisms. It requires accurate and efficient analysis of a large amount of system and network audit data. It c...
SEMWEB
2009
Springer
15 years 4 months ago
2009
Springer
A semantic application typically is a heterogenous system of interconnected components, most notably a reasoner. OWLlink is an implementation-neutral protocol for communication bet...
EDOC
2006
IEEE
15 years 4 months ago
2006
IEEE
— It is a typical scenario that many organisations have their business processes specified independently of their business contracts. This is because of the lack of guidelines a...
EGOV
2004
Springer
15 years 3 months ago
2004
Springer
An electronic registry is the main mechanism for the official distribution of public records, which are created within the framework of administrative procedures and business trans...
FLOPS
2004
Springer
15 years 3 months ago
2004
Springer
We propose pattern matching calculi as a refinement of λ-calculus that integrates mechanisms appropriate for fine-grained modelling of non-strict pattern matching. Compared with...