761 search results - page 87 / 153 » A Reactive Approach to Explanation |
159
click to vote
SPLC
2008
15 years 5 months ago
2008
This paper builds on product line CCS (PL-CCS), an algebraic approach to modeling the behavior of software product lines. The semantics of PL-CCS specifications is given in terms ...
141
click to vote
CATA
2003
15 years 5 months ago
2003
A number of routing protocols have been proposed for mobile ad hoc networks. In this paper we propose a hybrid multiple zoning scheme minimizing the number of route request messag...
145
click to vote
PDPTA
2003
15 years 5 months ago
2003
The need to continue to work in a mobile environment raises the problem of data availability in the presence of disconnections. Our approach aiming at solving this problem is to m...
124
click to vote
ECIS
2000
15 years 5 months ago
2000
- Events are at the core of reactive applications, which have become popular in many domains. Contemporary modeling tools lack the capability express the event semantics and relati...
161
click to vote
CRYPTO
2010
Springer
15 years 5 months ago
2010
Springer
Multiparty computation protocols have been known for more than twenty years now, but due to their lack of efficiency their use is still limited in real-world applications: the goal...