Sciweavers

1419 search results - page 6 / 284
» Notes on Formalizing Context
Sort
View
CONTEXT
1999
Springer
13 years 11 months ago
The Context-Dependency of Temporal Reference in Event Semantics
Abstract. Temporal reference in natural language is inherently context dependent: what counts as a moment in one context may be structurally analysed in another context, and vice v...
Fabio Pianesi, Achille C. Varzi
BPM
2009
Springer
119views Business» more  BPM 2009»
14 years 2 months ago
A Formal Model for Process Context Learning
Process models are considered to be a major asset in modern business organizations. They are expected to apply to all the possible business contexts in which the process may be exe...
Johny Ghattas, Pnina Soffer, Mor Peleg
FASE
2004
Springer
14 years 24 days ago
A Formal Treatment of Context-Awareness
Context-aware computing refers to a computing paradigm in which the behavior of individual components is determined by the circumstances in which they find themselves to an extent...
Gruia-Catalin Roman, Christine Julien, Jamie Payto...
CSE
2009
IEEE
14 years 2 months ago
Ceremonies Formal Analysis in PKI's Context
—Ceremonies are a useful tool to establish trust in scenarios where protocols operate. They describe a greater range of issues not taken into account by protocol designers. We ta...
Jean Everson Martina, Túlio Cicero Salvaro ...
CAISE
2007
Springer
13 years 11 months ago
Formalization and Verification of EPCs with OR-Joins Based on State and Context
The semantics of the OR-join in business process modeling languages like EPCs or YAWL have been discussed for a while. Still, the existing solutions suffer from at least one of two...
Jan Mendling, Wil M. P. van der Aalst