550 search results - page 69 / 110 » A Logic for Application Level QoS |
181
click to vote
SPIN
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
173
click to vote
JELIA
2004
Springer
15 years 11 months ago
2004
Springer
This paper is an analysis of two knowledge representation extensions of logic programming, namely Answer Set Programming and ID-Logic. Our aim is to compare both logics on the leve...
167
click to vote
UML
2001
Springer
15 years 10 months ago
2001
Springer
Much of the research work on design patterns has primarily focused on discovering and documenting patterns. Design patterns promise early reuse benefits at the design stage. To rea...
155
click to vote
WADT
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Computational systems are often represented by means of Kripke structures, and related using simulations. We propose rewriting logic as a flexible and executable framewo...
148
click to vote
HPDC
1998
IEEE
15 years 10 months ago
1998
IEEE
Development of portable network-aware applications demands an interface to the network that allows an application to obtain information about its execution environment. This paper...