Sciweavers

18769 search results - page 246 / 3754
» Requirements Models in Context
Sort
View
EPK
2006
107views Management» more  EPK 2006»
15 years 8 months ago
Towards EPC Semantics based on State and Context
: The semantics of the OR-join have been discussed for some time, in the context of EPCs, but also in the context of other business process modeling languages like YAWL. In this pa...
Jan Mendling, Wil M. P. van der Aalst
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 22 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 26 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 24 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,...