Sciweavers

7099 search results - page 191 / 1420
» Context for models of concurrency
Sort
View
ECSCW
2003
15 years 8 months ago
Awareness in Context: A Light-Weight Approach
Users who work together require adequate information about their environment—group awareness. In the CSCW literature several models and systems for group awareness have been pres...
Tom Gross, Wolfgang Prinz
JFP
2006
113views more  JFP 2006»
15 years 7 months ago
Consistency of the theory of contexts
The Theory of Contexts is a type-theoretic axiomatization aiming to give a metalogical account of the fundamental notions of variable and context as they appear in Higher stract S...
Anna Bucalo, Furio Honsell, Marino Miculan, Ivan S...
LOPSTR
2005
Springer
16 years 19 days ago
Experiments in Context-Sensitive Analysis of Modular Programs
Abstract. Several models for context-sensitive analysis of modular programs have been proposed, each with different characteristics and representing different trade-offs. The ad...
Jesús Correas, Germán Puebla, Manuel...
DATE
2005
IEEE
144views Hardware» more  DATE 2005»
16 years 23 days ago
Context Sensitive Performance Analysis of Automotive Applications
Accurate timing analysis is key to efficient embedded system synthesis and integration. While industrial control software systems are developed using graphical models, such as Ma...
Jan Staschulat, Rolf Ernst, Andreas Schulze, Fabia...
CONTEXT
2005
Springer
16 years 20 days ago
An Approach to Data Fusion for Context Awareness
We propose and develop an approach modeled with multi-attribute utility theory for sensor fusion in context-aware environments. Our approach is distinguished from existing general ...
Amir Padovitz, Seng Wai Loke, Arkady B. Zaslavsky,...