4047 search results - page 343 / 810 » Algebraic Model Checking |
192
click to vote
UTP
2010
15 years 4 months ago
2010
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...
155
click to vote
FASE
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Within model-driven software development, model transformation has become a key activity. It refers to a variety of operations modifying a model for various purposes such...
163
click to vote
WOTUG
2007
15 years 8 months ago
2007
Abstract. In this paper, we present a formal model and analysis of the AMBA Advanced High-performance Bus (AHB) on-chip bus. The model is given in CSP B—an integration of the pro...
267
click to vote
ICDE
1997
IEEE
16 years 8 months ago
1997
IEEE
We propose a data model and a few algebraic operations that provide semantic foundation to multidimensional databases. The distinguishing feature of the proposed model is the symm...
175
Voted
WOSP
2004
ACM
16 years 5 days ago
2004
ACM
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...