Sciweavers

1005 search results - page 173 / 201
» A Component Architecture for FPGA-Based, DSP System Design
Sort
View
DALT
2004
Springer
14 years 12 days ago
Modeling and Verification of Distributed Autonomous Agents Using Logic Programming
Systems of autonomous agents providing automated services over the Web are fast becoming a reality. Often these agent systems are constructed using procedural architectures that pr...
L. Robert Pokorny, C. R. Ramakrishnan
DIMVA
2009
13 years 9 months ago
A Service Dependency Modeling Framework for Policy-Based Response Enforcement
The use of dynamic access control policies for threat response adapts local response decisions to high level system constraints. However, security policies are often carefully tigh...
Nizar Kheir, Hervé Debar, Fréd&eacut...
MOBISYS
2006
ACM
14 years 8 months ago
Pegboard: a framework for developing mobile applications
Tool support for mobile application development can significantly improve programmer productivity and software quality. Pegboard is a novel tooling framework that extends the Ecli...
Danny Soroker, Ramón Cáceres, Danny ...
MM
2004
ACM
146views Multimedia» more  MM 2004»
14 years 2 months ago
"living-room": interactive, space-oriented augmented reality
living-room is an augmented reality (AR) installation developed to study interactive, space-oriented AR-scenarios. The installation consists of the living-room box, a room that is...
Roderick Galantay, Jan Torpus, Maia Engeli
SAC
2004
ACM
14 years 2 months ago
Using mobile agents as roaming security guards to test and improve security of hosts and networks
1 This paper discusses the design and implementation details of MAST (Mobile Agent-based Security Tool), a new mobile agentbased network security approach. MAST has been designed t...
Marco M. Carvalho, Thomas B. Cowin, Niranjan Suri,...