Sciweavers

1393 search results - page 150 / 279
» Home, work, (play)
Sort
View
CLIMA
2004
15 years 7 months ago
Verifying Protocol Conformance for Logic-Based Communicating Agents
Communication plays a fundamental role in multi-agents systems. One of the main issues in the design of agent interaction protocols is the verification that a given protocol implem...
Matteo Baldoni, Cristina Baroglio, Alberto Martell...
IADIS
2004
15 years 7 months ago
Security Assertion Exchange for the Agent on the Semantic Web
The Semantic Web's success will depend on the implementation and use of Web Service becoming preeminent in Ecommerce, which will likely be agent-based in the future. On the S...
Joo-Young Lee, Ki-Young Moon
IASSE
2004
15 years 7 months ago
System Evolution through Design Information Evolution: a Case Study
This paper describes how design information, in our case UML specifications, can be used to evolve a software system and validate the consistency of such an evolution. This work c...
Walter Cazzola, Ahmed Ghoneim, Gunter Saake
DAGSTUHL
2003
15 years 7 months ago
Feature tracking with skeleton graphs
One way to visualize large time-dependent data sets, is by visualization of the evolution of features in these data. The process consists of four steps: feature extraction, featur...
Benjamin Vrolijk, Freek Reinders, Frits H. Post
IWEC
2004
15 years 7 months ago
Commedia Virtuale: Theatre Inspiration for Expressive Avatars
We are investigating face, hand and body expressions to be applied to avatars of a virtual environment to improve their communication capabilities and enrich and facilitate their p...
Ben Salem