1017 search results - page 62 / 204 » Some existence and construction results of polygonal designs |
122
click to vote
TCS
2002
14 years 11 months ago
2002
The Common Algebraic Specification Language Casl is an expressive language for the formal specification of functional requirements and modular design of software. It has been desi...
178
click to vote
AGTIVE
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. The DRAGOS database eases the development of graphbased applications by providing a uniform graph-oriented data storage facility. In this paper, we extend the existing da...
104
click to vote
ESA
2005
Springer
15 years 5 months ago
2005
Springer
Histograms are used in many ways in conventional databases and in data stream processing for summarizing massive data distributions. Previous work on constructing histograms on da...
SPW
2004
Springer
15 years 5 months ago
2004
Springer
This note presents a new way of composing cryptographic primitives which makes some novel combinations possible. For example, one can do threshold decryption using standard block c...
100
click to vote
FM
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Circus is a combination of Z and CSP that supports the development of state-rich reactive systems based on refinement. In this paper we present JCircus, a tool that autom...