Sciweavers

8667 search results - page 1503 / 1734
» The information discovery framework
Sort
View
CSFW
2003
IEEE
15 years 12 months ago
Probabilistic Noninterference through Weak Probabilistic Bisimulation
To be practical, systems for ensuring secure information flow must be as permissive as possible. To this end, the author recently proposed a type system for multi-threaded progra...
Geoffrey Smith
DATE
2003
IEEE
114views Hardware» more  DATE 2003»
15 years 12 months ago
Ambient Intelligence Visions and Achievements: Linking Abstract Ideas to Real-World Concepts
Intelligence Visions and Achievements: Linking Abstract Ideas to Real-World Concepts Menno Lindwer  ¢¡ , Diana Marculescu £¥¤ , Twan Basten ¦§¡ , Rainer Zimmermann ¨ , Ra...
Menno Lindwer, Diana Marculescu, Twan Basten, Rain...
EDOC
2003
IEEE
15 years 12 months ago
MQL: a Powerful Extension to OCL for MOF Queries
The Meta-Object Facility (MOF) provides a standardised framework for object-oriented models. An instance of a MOF model contains objects and links whose interfaces are entirely de...
David Hearnden, Kerry Raymond, Jim Steel
HAPTICS
2003
IEEE
15 years 12 months ago
The Effect of Sensor/Actuator Asymmetries in Haptic Interfaces
Haptic interfaces enable us to interact with virtual objects by sensing our actions and communicating them to a virtual environment. A haptic interface with force feedback capabil...
Federico Barbagli, John Kenneth Salisbury Jr.
HICSS
2003
IEEE
154views Biometrics» more  HICSS 2003»
15 years 12 months ago
Data-driven Methodology to Extending Workflows to E-services over the Internet
E-services refer to the services offered over the Internet. The globalization of economy accelerates the provision of e-services across organizations. Instead of being built from ...
Shing-Chi Cheung, Dickson K. W. Chiu, Sven Till
« Prev « First page 1503 / 1734 Last » Next »