5510 search results - page 1012 / 1102 » Mathematics |
148
Voted
WADT
1999
Springer
15 years 8 months ago
1999
Springer
Based on the FOCUS theory of distributed systems (see [Broy, Stølen 01]) that are composed of interacting components we introduce a formal model of services and layered architectu...
127
click to vote
ELPUB
1998
ACM
15 years 8 months ago
1998
ACM
This paper presents the experience gained in work on two current Bulgarian projects aiming at the development of electronic resources for South-East European Studies, Slavic studi...
188
click to vote
CAV
1998
Springer
15 years 8 months ago
1998
Springer
As a pedagogical exercise in ACL2, we formalize and prove the correctness of a write invalidate cache scheme. In our formalization, an arbitrary number of processors, each with its...
129
click to vote
ECOOP
1998
Springer
15 years 8 months ago
1998
Springer
There has been substantial recent interest in captured design expertise expressed as design patterns. Prevalent descriptions of these design patterns suffer from two demerits. Firs...
149
click to vote
KR
1998
Springer
15 years 8 months ago
1998
Springer
A theory is elaboration tolerant to the extent that new information can be incorporated with only simple changes. The simplest change is conjoining new information, and only conju...