3239 search results - page 223 / 648 » A Logical Process Calculus |
144
Voted
MRCO
2005
Springer
15 years 10 months ago
2005
Springer
This paper proposes a component-based architecture and development methodology for context-aware systems. A context is formally defined from relational point of view. The architec...
134
click to vote
ICALP
2009
Springer
15 years 9 months ago
2009
Springer
We study the impact on observational semantics for SOC of priority mechanisms which combine dynamic priority with local pre-emption. We define manageable notions of strong and wea...
139
click to vote
ECOOPW
1994
Springer
15 years 9 months ago
1994
Springer
A composition language based on a formal semantic foundation will facilitate precification of glue abstractions and compositions, and will support reasoning about their behaviour....
135
Voted
ICLP
2010
Springer
15 years 9 months ago
2010
Springer
Interactive Scores is a formalism for the design and performance of interactive scenarios that provides temporal relations (TRs) among the objects of the scenario. We can model TRs...
139
click to vote
BIRTHDAY
2006
Springer
15 years 8 months ago
2006
Springer
Data Flow Analysis as expressed by Monotone Frameworks is often associated with classical imperative programming languages and has played a crucial role in the efficient implementa...