4286 search results - page 477 / 858 » Formalizing Service Interactions |
175
click to vote
DSVIS
1995
Springer
15 years 9 months ago
1995
Springer
Any action is performed in a particular context. So what does it mean to do the ‘same’ thing in a different context? There is no simple answer to this question , it depends on ...
159
click to vote
EWHCI
1995
15 years 9 months ago
1995
Diagrams (e.g., trees for hierarchical structures, or graphs for finite state machines) are often needed as part of advanced user interfaces, and are frequently specific to a use...
187
click to vote
COCO
1991
Springer
15 years 9 months ago
1991
Springer
Abstract. In this paper, we generalize the previous formal de nitions of random-self-reducibility. We show that, even under our very general de nition, sets that are complete for a...
172
click to vote
DEON
2010
Springer
15 years 8 months ago
2010
Springer
We provide a logical analysis of private international law, the body of law establishing when courts of a country should decide a case (jurisdiction) and what legal system they sho...
192
Voted
CBSE
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Automata-based interface and protocol specifications provide an elegant framework to capture and automatically verify the interactive behavior of component-based software...