Sciweavers

1777 search results - page 299 / 356
» Programming Cryptographic Protocols
Sort
View
ICALP
2000
Springer
14 years 9 days ago
On Message Sequence Graphs and Finitely Generated Regular MSC Languages
Message Sequence Charts (MSCs) are an attractive visual formalism widely used to capture system requirements during the early design stages in domains such as telecommunication sof...
Jesper G. Henriksen, Madhavan Mukund, K. Narayan K...
DOA
2000
105views more  DOA 2000»
13 years 10 months ago
CORBA Solutions for Interoperability in Mobile Agent Environments
The Mobile Agent (MA) paradigm proposes several attractive solutions to deal with the problems of networkcentric programming. Despite the availability of several MA platforms, the...
Paolo Bellavista, Antonio Corradi, Cesare Stefanel...
OSDI
1994
ACM
13 years 10 months ago
Distributed Filaments: Efficient Fine-Grain Parallelism on a Cluster of Workstations
A fine-grain parallel program is one in which processes are typically small, ranging from a few to a few hundred instructions. Fine-grain parallelism arises naturally in many situ...
Vincent W. Freeh, David K. Lowenthal, Gregory R. A...
ATAL
2010
Springer
13 years 9 months ago
To teach or not to teach?: decision making under uncertainty in ad hoc teams
In typical multiagent teamwork settings, the teammates are either programmed together, or are otherwise provided with standard communication languages and coordination protocols. ...
Peter Stone, Sarit Kraus
AIEDU
2007
108views more  AIEDU 2007»
13 years 8 months ago
Explicit Reflection in Prolog-Tutor
This paper describes a reflection-based approach for open learner modeling (OLM). Tutoring dialogues are used by learners to explicitly reveal their own knowledge state to themselv...
Joséphine M. P. Tchétagni, Roger Nka...