Sciweavers

95 search results - page 10 / 19
» Towards a reference model for agent-based systems
Sort
View
CSFW
2010
IEEE
15 years 1 months ago
Towards a Formal Foundation of Web Security
—We propose a formal model of web security based straction of the web platform and use this model to analyze the security of several sample web mechanisms and applications. We id...
Devdatta Akhawe, Adam Barth, Peifung E. Lam, John ...
VVEIS
2007
14 years 10 months ago
UML-driven Information Systems and their Formal Integration Validation and Distribution
Being the de-facto standard (object-oriented-OO) method(-logy) for software-intensive systems development, UML with its different diagrams and supporting tools represent nowadays t...
Nasreddine Aoumeur, Gunter Saake
MM
2005
ACM
130views Multimedia» more  MM 2005»
15 years 3 months ago
Multimodal expressive embodied conversational agents
In this paper we present our work toward the creation of a multimodal expressive Embodied Conversational Agent (ECA). Our agent, called Greta, exhibits nonverbal behaviors synchro...
Catherine Pelachaud
BIRTHDAY
2008
Springer
14 years 11 months ago
Approximating Behaviors in Embedded System Design
Embedded systems are electronic devices that function in the context of a physical environment, by sensing and reacting to a set of stimuli. To simplify the design of embedded syst...
Roberto Passerone, Alberto L. Sangiovanni-Vincente...
IROS
2006
IEEE
138views Robotics» more  IROS 2006»
15 years 3 months ago
Hardware-in-the-loop Test Rig to Capture Aerial Robot and Sensor Suite Performance Metrics
Fully autonomous aerial robots are needed to accomplish near-Earth missions such as search and rescue, and bio-chemical sensing. Recent advances in sensor technologies ([6], [8], ...
Vefa Narli, Paul Y. Oh