Sciweavers

660 search results - page 61 / 132
» The Active Process Interaction with Its Environment
Sort
View
113
Voted
NOMS
2008
IEEE
15 years 10 months ago
Dynamic inter-organizational cooperation setup in Circle-of-Trust environments
—The need for collaborative service provisioning across different providers’ domains is being addressed by Circles of Trust (CoT), whose members adhere to the same policies and...
Latifa Boursas, Vitalian A. Danciu
152
Voted
ICFEM
1997
Springer
15 years 7 months ago
Formally Specifying and Verifying Real-Time Systems
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
Richard A. Kemmerer
126
Voted
EACL
1989
ACL Anthology
15 years 4 months ago
A rich environment for experimentation with unification grammars
This paper describes some of the features of a sophisticated language and environment designed for experimentation with unification-oriented linguistic descriptions. The system, w...
Rod L. Johnson, Mike Rosner
109
Voted
CHI
2007
ACM
16 years 4 months ago
Enabling nutrition-aware cooking in a smart kitchen
We present a smart kitchen that can enhance the traditional meal preparation and cooking process by raising awareness of the nutrition facts in food ingredients that go into a mea...
Pei-yu Chi, Jen-hao Chen, Hao-Hua Chu, Bing-Yu Che...
125
Voted
HUC
2007
Springer
15 years 7 months ago
Amigo: Proximity-Based Authentication of Mobile Devices
Securing interactions between devices that do not know each other a priori is an important and challenging task. We present Amigo, a technique to authenticate co-located devices us...
Alex Varshavsky, Adin Scannell, Anthony LaMarca, E...