4286 search results - page 711 / 858 » Formalizing Service Interactions |
199
click to vote
CHARME
2003
Springer
16 years 3 days ago
2003
Springer
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
217
click to vote
CONCUR
2003
Springer
16 years 3 days ago
2003
Springer
We present a process-algebraic language for Probabilistic I/O Automata (PIOA). To ensure that PIOA specifications given in our language satisfy the “input-enabled” property, w...
179
click to vote
DSVIS
2003
Springer
16 years 3 days ago
2003
Springer
Based on a revision of the common task understanding in model-based approaches a formal meta model is proposed which allows more expressive task descriptions. A task is considered ...
159
click to vote
ICMI
2003
Springer
16 years 3 days ago
2003
Springer
Informal presentations are a lightweight means for fast and convenient communication of ideas. People communicate their ideas to others on paper and whiteboards, which afford flui...
177
click to vote
IFL
2003
Springer
16 years 3 days ago
2003
Springer
It is important to be able to program GUI applications in a fast and easy manner. Current GUI tools for creating visually attractive applications offer limited functionality. In t...