5900 search results - page 202 / 1180 » Dependable Systems |
137
click to vote
ENTCS
2007
15 years 6 months ago
2007
Generation of labelled transition systems from system specifications is highly dependent on efficient rewriting (or related techniques). We give an account of the implementation ...
168
click to vote
TCOM
2010
15 years 4 months ago
2010
- Phase noise is a topic of theoretical and practical interest in electronic circuits. Although progress has been made in the characterization of its description, there are still c...
156
click to vote
SAC
2002
ACM
15 years 5 months ago
2002
ACM
In this paper the issue of system evolution is addressed. Activity Theory and the concept of exapansive cycles are reviewed as theories to explain systemic evolution. Contradictio...
179
click to vote
QOSA
2007
Springer
16 years 6 days ago
2007
Springer
: Modern society relies heavily on complex software systems for everyday activities. Dependability of these systems thus has become a critical feature that determines which product...
164
click to vote
LICS
2010
IEEE
15 years 4 months ago
2010
IEEE
—There are two usual ways to describe equality in a dependent typing system, one that uses an external notion of computation like beta-reduction, and one that introduces a typed ...