Sciweavers

2786 search results - page 235 / 558
» A Practical Technique for Process Abstraction
Sort
View
STORYTELLING
2005
Springer
16 years 8 hour ago
Formal Encoding of Drama Ontology
The goal of this research is to lay the foundations for a formal theory , that abstracts from the procedural and interactive aspects involved in the generation of dramatic content....
Rossana Damiano, Vincenzo Lombardo, Antonio Pizzo
ACSAC
2009
IEEE
16 years 1 months ago
HIMA: A Hypervisor-Based Integrity Measurement Agent
Abstract—Integrity measurement is a key issue in building trust in distributed systems. A good solution to integrity measurement has to provide both strong isolation between the ...
Ahmed M. Azab, Peng Ning, Emre Can Sezer, Xiaolan ...
ITICSE
2004
ACM
15 years 12 months ago
Teaching computer networking with the help of personal computer networks
This paper describes an “experiential” learning approach to teaching a foundational course on Computer Networking. In additional to the traditional laboratory sessions and ana...
Rocky K. C. Chang
CEEMAS
2003
Springer
15 years 11 months ago
Tailoring an Agent Architecture to a Flexible Platform Suitable for Cooperative Robotics
Flexibility and adaptability are essential properties of intelligent manufacturing systems. However, it is a major challenge to realize these properties and the benefits of a flexi...
Lars Kock Jensen, Yves Demazeau, Bent Bruun Kriste...
ASIAN
2006
Springer
98views Algorithms» more  ASIAN 2006»
15 years 10 months ago
Information Hiding in the Join Calculus
Abstract. We aim to provide information hiding support in concurrent object-oriented programming languages. We study the issue both at the object level and class level, in the cont...
Qin Ma 0002, Luc Maranget