17049 search results - page 396 / 3410 » cans 2007 |
161
Voted
REFSQ
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The research presented in this paper investigates how observation of information- and communication-intensive work in hospital wards can be used to produce requirements f...
193
Voted
FORTE
2004
15 years 9 months ago
2004
Abstract Peer-to-peer markets going mobile spur spontaneity in trading considerably. Spontaneity, however, imposes severe informational requirements on the market participants. Inf...
181
Voted
IJCAI
1997
15 years 9 months ago
1997
Several qualitative notions of epistemic dependence between propositions are studied. They are closely related to the ordinal notion of conditional possibility. What this paper pr...
135
Voted
ICC
2007
IEEE
16 years 2 months ago
2007
IEEE
—The self-protecting multipath (SPM) is a simple protection switching mechanism that can be implemented, e.g., by MPLS. We present a linear program for the optimization of the SP...
218
Voted
CAV
2007
Springer
16 years 1 months ago
2007
Springer
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...