Sciweavers

3516 search results - page 351 / 704
» Integrating Security Modeling into Embedded System Design
Sort
View
P2P
2006
IEEE
15 years 10 months ago
Route Fingerprinting in Anonymous Communications
Peer discovery and route set-up are an integral part of the processes by which anonymizing peer-to-peer systems are made secure. When systems are large, and individual nodes only ...
George Danezis, Richard Clayton
IAT
2008
IEEE
15 years 11 months ago
An Agent Modeling Language Implementing Protocols through Capabilities
In this paper we present how to use the Agent MOdeling LAnguage (AMOLA) to define agent interaction protocols and how to integrate these in an agent model. AMOLA provides the synt...
Nikolaos I. Spanoudakis, Pavlos Moraitis
FDL
2007
IEEE
15 years 8 months ago
Towards Assertion Based Verification of Analog and Mixed Signal Designs Using PSL
Abstract-- Analog and Mixed Signal (AMS) designs are important integrated systems that link digital circuits to the analog world. Following the success of PSL verification methodol...
Ghiath Al Sammane, Mohamed H. Zaki, Zhi Jie Dong, ...
ICSE
2008
IEEE-ACM
16 years 4 months ago
An integrated aspect-oriented model-driven software product line tool suite
Software product line engineering is mostly about the systematic management of commonality and variability between product line members. The effectiveness of this approach thus ve...
Christa Schwanninger, Iris Groher, Markus Völ...
DFKI
2005
Springer
15 years 10 months ago
Agents Enacting Social Roles. Balancing Formal Structure and Practical Rationality in MAS Design
Abstract. We introduce an integrated approach to the conceptualisation, implementation and evaluation of a MAS (multi-agent system) which is based on sociological concepts of pract...
Martin Meister 0002, Diemo Urbig, Kay Schröte...