279 search results - page 20 / 56 » A Name Abstraction Functor for Named Sets |
CSFW
2009
IEEE
14 years 3 months ago
2009
IEEE
For most basic cryptographic tasks, such as public key encryption, digital signatures, authentication, key exchange, and many other more sophisticated tasks, ideal functionalities...
SEKE
2009
Springer
14 years 3 months ago
2009
Springer
Abstract—Runtime monitoring, where some part of a program’s behavior and/or data is observed during execution, is a very useful technique that software developers to use for un...
AOSE
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. The agent-oriented software engineering methodology Tropos offers a structured development process and supporting tools for developing complex, distributed systems. The ...
BTW
2007
Springer
14 years 2 months ago
2007
Springer
Abstract: We study an instance-based approach for matching hierarchical ontologies, such as product catalogs. The motivation for utilizing instances is that metadata-based match ap...
ADHOCNOW
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. Current in-network programming protocols for sensor networks allow an attacker to gain control of the network or disrupt its proper functionality by disseminating malicio...