4418 search results - page 602 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
154
Voted
APN
1993
Springer
15 years 10 months ago
1993
Springer
This paper introduces an efficient numerical algorithm for transient analysis of deterministic and stochastic Petri nets (DSPNs) and other discrete-event stochastic systems with ...
164
click to vote
CONCUR
1991
Springer
15 years 10 months ago
1991
Springer
This paper deals with verification methods based on equivalence relations between labeled transition systems. More precisely, we are concerned by two practical needs: how to effi...
175
click to vote
PERVASIVE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. One of the key challenges faced when developing contextaware pervasive systems is to capture the set of inputs that we want a system to adapt to. Arbitrarily specifying r...
199
click to vote
CODES
2010
IEEE
15 years 4 months ago
2010
IEEE
Monitoring human movements using wireless sensory devices promises to revolutionize the delivery of healthcare services. In spite of their potentials for many application domains,...
174
click to vote
RECOMB
2002
Springer
16 years 7 months ago
2002
Springer
A recent idea for determining the three-dimensional structure of a protein uses antibody recognition of surface structure and random peptide libraries to map antibody epitope comb...