959 search results - page 25 / 192 » Possible and Necessary h-Indices |
165
Voted
ICSEA
2007
IEEE
16 years 11 days ago
2007
IEEE
Abstract—Nondeterminism is used as a means of underspecification or implementation choice in specifications, and it is often necessary if part of a system or the environment is...
172
click to vote
DATE
2009
IEEE
16 years 25 days ago
2009
IEEE
Fast real-time feasibility tests and analysis algorithms are necessary for a high acceptance of the formal techniques by industrial software engineers. This paper presents a possi...
160
Voted
EUROPAR
2007
Springer
16 years 7 days ago
2007
Springer
We investigate the problem of detecting termination of a distributed computation in an asynchronous message-passing system where processes may crash and recover. We show that it is...
120
click to vote
CAISE
2005
Springer
15 years 11 months ago
2005
Springer
Work in software reuse focuses on reusing artifacts. In this context, finding a reusable artifact is driven by a desired functionality. This paper proposes a change to this common...
168
click to vote
AH
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Adaptive navigation support normally attempts to make selecting a relevant hyperlink as easy as possible. However, in educational applications, this may have negative lea...