Sciweavers

4099 search results - page 362 / 820
» A Framework for Interactive Proof
Sort
View
COMPUTER
2000
128views more  COMPUTER 2000»
15 years 7 months ago
What's Ahead for Embedded Software?
hysical world. How do you adapt software abstractions designed merely to transform data to meet requirements like real-time constraints, concurrency, and stringent safety considera...
Edward A. Lee
NOMS
1998
IEEE
160views Communications» more  NOMS 1998»
15 years 12 months ago
SP-to-SP service ordering specification and its implementation
Network Management Forum (NMF) has defined a set of basic business processes dealing with major TMN service management functions such as performance management, fault management, b...
Graham Chen, Qinzheng Kong, Pierre-Yves Benain
CHI
2002
ACM
16 years 8 months ago
Making sense of sensing systems: five questions for designers and researchers
This paper borrows ideas from social science to inform the design of novel "sensing" user-interfaces for computing technology. Specifically, we present five design chall...
Victoria Bellotti, Maribeth Back, W. Keith Edwards...
HICSS
2003
IEEE
119views Biometrics» more  HICSS 2003»
16 years 27 days ago
Modeling and Analyzing Communications Infrastructure A Case Study of an International Organization
EnCompass®1 , a web-enabled system for organizational process visualization, analysis, synthesis, and management, provides an interactive vehicle for understanding the influence ...
Michael M. Mann, Ericka Hansen Bryant
IVA
2005
Springer
16 years 1 months ago
Social Situated Agents in Virtual, Real and Mixed Reality Environments
Abstract. This paper details a framework for explicit deliberative control of socially and physically situated agents in virtual, real and mixed reality environments. The objective...
Mauro Dragone, Thomas Holz, Brian R. Duffy, Gregor...