1809 search results - page 173 / 362 » Software Model Checking Using Linear Constraints |
FOSSACS
2012
Springer
12 years 5 months ago
2012
Springer
Coalgebra offers a unified theory of state based systems, including infinite streams, labelled transition systems and deterministic automata. In this paper, we use the coalgebrai...
CAISE
2010
Springer
13 years 4 months ago
2010
Springer
The existence of variations in the organizational environment makes the configuration of business process models a complex activity, even for experienced business analysts. The inc...
ICSE
2003
IEEE-ACM
14 years 9 months ago
2003
IEEE-ACM
Requirements Engineering (RE) deals with the early phases of software engineering namely requirement elicitation, modeling, specification and validation. Architecture of a softwar...
WCNC
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract— This paper explores integrated source-channel decoding, driven by wireless sensor network applications where correlated information acquired by the network is gathered ...
ESOP
2008
Springer
13 years 11 months ago
2008
Springer
This paper defines the cover of a formula with respect to a set of variables V in theory T to be the strongest quantifier-free formula that is implied by V : in theory T. Cover e...