2763 search results - page 170 / 553 » The Dangerous 'All' in Specifications |
163
click to vote
ENTCS
2008
15 years 6 months ago
2008
To provide formal foundations to current (web) services technologies, we put forward using COWS, a process calculus for specifying, combining and analysing services, as a uniform ...
180
click to vote
ENTCS
2008
15 years 6 months ago
2008
This paper initiates the study of sets in Euclidean space Rn (n 2) that are defined in terms of the dimensions of their elements. Specifically, given an interval I [0, 1], we ar...
165
click to vote
ENTCS
2008
15 years 6 months ago
2008
The satisfiability problem is the fundamental problem in proving the conflict-freeness of specifications, or in finding a counterexample for an invalid statement. In this paper, w...
167
click to vote
FAC
2008
2008
Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine
15 years 6 months ago
A stream X-machine is a type of extended finite state machine with an associated development approach that consists of building a system from a set of trusted components. One of th...
156
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Systematic genome comparisons are an important tool to reveal gene functions, pathogenic features, metabolic pathways and genome evolution in the era of post-genomics....