Sciweavers

169 search results - page 23 / 34
» Exceptions in Component Interaction Protocols - Necessity
Sort
View
WSC
1997
14 years 3 days ago
SimTutor: A Multimedia Intelligent Tutoring System for Simulation Modeling
SimTutor is a multimedia intelligent tutoring system (ITS) for simulation modeling. Multimedia systems are now de facto standard on personal computers and increasing number of int...
Tajudeen A. Atolagbe, Vlatka Hlupic
AAAI
2008
14 years 1 months ago
Semantical Considerations on Dialectical and Practical Commitments
This paper studies commitments in multiagent systems. A dialectical commitment corresponds to an agent taking a position about a putative fact, including for the sake of argument....
Munindar P. Singh
SIGSOFT
2007
ACM
14 years 11 months ago
Programming asynchronous layers with CLARITY
Asynchronous systems components are hard to write, hard to reason about, and (not coincidentally) hard to mechanically verify. In order to achieve high performance, asynchronous c...
Prakash Chandrasekaran, Christopher L. Conway, Jos...
DGO
2009
175views Education» more  DGO 2009»
13 years 12 months ago
Modelling task delegation for human-centric eGovernment workflows
The execution of cross-domain eGovernment applications is a challenging topic. eGovernment organisations are facilitated and conducted using workflow management systems. Workflows...
Khaled Gaaloul, François Charoy, Andreas Sc...
MOBICOM
2006
ACM
14 years 4 months ago
WHYNET: a hybrid testbed for large-scale, heterogeneous and adaptive wireless networks
We present an overview of the WHYNET (Wireless HYbrid NETwork) testbed, currently being developed for realistic and scalable evaluation of next-generation wireless network protoco...
Junlan Zhou, Zhengrong Ji, Maneesh Varshney, Zhigu...