1809 search results - page 279 / 362 » A Formal Specification of dMARS |
AINA
2006
IEEE
14 years 1 months ago
2006
IEEE
Ad hoc networks are dynamic networks formed "on the fly" by a set of nodes. Achieving secure routing in such networks is a big challenge. Asymmetric signature schemes pr...
APSEC
2004
IEEE
14 years 1 months ago
2004
IEEE
To formalize a software process, its important aspects must be extracted as a model. Many processes are used repeatedly, and the ability to automate a process is also desired. One...
BIBE
2004
IEEE
14 years 1 months ago
2004
IEEE
There is a recognized need for a meta-classification that can serve as a foundation for more refined ontologies in the field of proteomics. Standard data sources classify proteins...
ASWC
2006
Springer
14 years 1 months ago
2006
Springer
The Web Ontology Language (OWL), which is a Description Logic based ontology language, is widely used to represent formal definitions of vocabularies for domain knowledge, especial...
CIA
2006
Springer
14 years 1 months ago
2006
Springer
This paper presents an agent-based approach for error detection in incident management organizations. The approach consists of several parts. First, a formal approach for the speci...