4047 search results - page 246 / 810 » Algebraic Model Checking |
171
click to vote
SIAMSC
2010
15 years 5 months ago
2010
For the finite volume discretization of a second-order elliptic model problem, we derive a posteriori error estimates which take into account an inexact solution of the associated...
175
click to vote
ITA
2008
15 years 6 months ago
2008
The complexity of infinite words is considered from the point of view of a transformation with a Mealy machine that is the simplest model of a finite automaton transducer. We are ...
151
Voted
ENTCS
2006
15 years 6 months ago
2006
This paper contributes towards establishing the category QCB, of topological quotients of countably based spaces, and its subcategory TP, of topological predomains, as a flexible ...
146
click to vote
EWSA
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. In this paper we present a systematic check of the conformance of the implemented and the intended software architecture. Nowadays industry is confronted with rapidly evo...
168
click to vote
ISPW
2007
IEEE
16 years 27 days ago
2007
IEEE
To produce quality software and evolve them in an economic and timely fashion, enactable software process models are used for regulating development activities with the support of ...