Sciweavers

4099 search results - page 362 / 820
» A Framework for Interactive Proof
Sort
View
COMPUTER
2000
128views more  COMPUTER 2000»
15 years 6 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 11 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
171
Voted
CHI
2002
ACM
16 years 7 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 1 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 7 days 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...