1419 search results - page 81 / 284 » Notes on Formalizing Context |
149
click to vote
ICFCA
2004
Springer
15 years 8 months ago
2004
Springer
Traditional logic can be understood as the investigation of the three main essential functions of thinking – concepts, judgements and conclusions. In the last years, in a new res...
154
click to vote
FASE
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This paper presents a systematic consideration of the major issues involved in translation of executable design level software specification languages to directly model-c...
127
click to vote
COORDINATION
2006
Springer
15 years 7 months ago
2006
Springer
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...
122
Voted
FMCAD
2008
Springer
15 years 4 months ago
2008
Springer
The semantics of temporal logic is usually defined with respect to a word representing a computation path over a set of atomic propositions. A temporal logic formula does not contr...
145
click to vote
PERCOM
2010
ACM
15 years 1 months ago
2010
ACM
Context-aware pervasive systems are an important emerging category of software, increasingly pervading into daily life, play and work. These systems are characterized by capabilit...