Sciweavers

78 search results - page 14 / 16
» Communication in Crisis Situations Using Icon Language
Sort
View
ICWS
2003
IEEE
13 years 9 months ago
Design and Implementation of an Asynchronous Invocation Framework for Web Services
Abstract Asynchronous invocations are an important functionality in the context of distributed object frameworks, because in many situations clients should not block during remote ...
Uwe Zdun, Markus Völter, Michael Kircher
DAGSTUHL
2003
13 years 9 months ago
Policies: Giving Users Control over Calls
Abstract. Features provide extensions to a basic service, but in new systems users require much greater flexibility oriented towards their needs. Traditional features do not easil...
Stephan Reiff-Marganiec
TEI
2010
ACM
134views Hardware» more  TEI 2010»
14 years 2 months ago
Tangible lightscapes
Tangible Lightscapes is a research on interfaces mainly based on light and gestures. The aim of my exploration is to design a vocabulary of light behaviours to show people what th...
Alice V. Pintus
ICLP
2009
Springer
14 years 2 months ago
Stabilization of Information Sharing for Queries Answering in Multiagent Systems
We consider multiagent systems situated in unpredictable environments. Agents viewed as abductive logic programs with abducibles being literals the agent could sense or receive fro...
Phan Minh Dung, Do Duc Hanh, Phan Minh Thang
ICECCS
1999
IEEE
140views Hardware» more  ICECCS 1999»
14 years 7 hour ago
Practical Considerations in Protocol Verification: The E-2C Case Study
We report on our efforts to formally specify and verify a new protocol of the E-2C Hawkeye Early Warning Aircraft. The protocol, which is currently in test at Northrop Grumman, su...
Yifei Dong, Scott A. Smolka, Eugene W. Stark, Step...