Sciweavers

3831 search results - page 598 / 767
» Dynamic Context Logic
Sort
View
GLVLSI
2010
IEEE
156views VLSI» more  GLVLSI 2010»
15 years 9 months ago
A multi-level approach to reduce the impact of NBTI on processor functional units
NBTI is one of the most important silicon reliability problems facing processor designers today. The impact of NBTI can be mitigated at both the circuit and microarchitecture leve...
Taniya Siddiqua, Sudhanva Gurumurthi
HICSS
2002
IEEE
169views Biometrics» more  HICSS 2002»
15 years 9 months ago
Enabling Technology for Personalizing Mobile Services
A major trend in the current information society is personalization, which is considered a key business enabler for mobile services because the mobile device is a personal assista...
Marc M. Lankhorst, Herma Van Kranenburg, Alfons H....
146
Voted
VR
2002
IEEE
210views Virtual Reality» more  VR 2002»
15 years 8 months ago
Distributed Applications for Collaborative Augmented Reality
This paper focuses on the distributed architecture of the collaborative augmented reality system Studierstube. The system allows multiple users to experience a shared 3D workspace...
Dieter Schmalstieg, Gerd Hesina
ATAL
2009
Springer
15 years 8 months ago
GDT4MAS: an extension of the GDT model to specify and to verify MultiAgent systems
The Goal Decomposition Tree model has been introduced in 2005 by Mermet et al. [9] to specify and verify the behaviour of an agent evolving in a dynamic environment. This model pr...
Bruno Mermet, Gaële Simon
142
Voted
SEMWEB
2009
Springer
15 years 8 months ago
A Weighted Approach to Partial Matching for Mobile Reasoning
Due to significant improvements in the capabilities of small devices such as PDAs and smart phones, these devices can not only consume but also provide Web Services. The dynamic n...
Luke Albert Steller, Shonali Krishnaswamy, Mohamed...