213 search results - page 21 / 43 » Semantic Interpretation of Object Activities in a Surveillan... |
CORR
2010
Springer
14 years 11 months ago
2010
Springer
The objective of this is to develop a Fuzzy aided Application layer Semantic Intrusion Detection System (FASIDS) which works in the application layer of the network stack. FASIDS ...
121
click to vote
CADE
1992
Springer
15 years 3 months ago
1992
Springer
Abstract. We exhibit a methodology for formulating and verifying metatheorems about deductive systems in the Elf language, an implementation of the LF Logical Framework with an ope...
ISSTA
2004
ACM
15 years 4 months ago
2004
ACM
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...
101
click to vote
IJIIDS
2010
14 years 6 months ago
2010
Abstract. This paper presents the semantics of database mappings in the relational database (DB) category, based on the power-view monad T and monadic algebras. The semantics can b...
SIMUTOOLS
2008
15 years 20 days ago
2008
As its name promises, the Unified Modeling Language (UML) provides a collection of diagrammatic modeling styles. To the early class/objects and use-case diagrams were almost immed...