411 search results - page 36 / 83 » Algebraic Imperative Specifications |
100
click to vote
ENTCS
2006
15 years 2 months ago
2006
The three classical process algebras CCS, CSP and ACP present several differences in their respective technical machinery. This is due, not only to the difference in their operato...
191
click to vote
SIGMOD
2005
ACM
16 years 2 months ago
2005
ACM
This paper introduces RankSQL, a system that provides a systematic and principled framework to support efficient evaluations of ranking (top-k) queries in relational database syst...
152
click to vote
TYPES
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. In the FTA project in Nijmegen we have formalized a constructive proof of the Fundamental Theorem of Algebra. In the formalization, we have first defined the (constructiv...
146
click to vote
CN
1999
15 years 1 months ago
1999
Recently, the ITU-standardised specification language Message Sequence Chart has been extended with constructs for more complete and structured specifications. The new version of ...
101
click to vote
CLEIEJ
2004
15 years 1 months ago
2004
ept of reconfigurable systems is almost always restricted to the abstract design level, in which configuration languages are used to manipulate software connections. In this paper...