4488 search results - page 232 / 898 » Properties of NP-Complete Sets |
192
click to vote
ICDCIT
2005
Springer
16 years 6 days ago
2005
Springer
The existing search engines sometimes give unsatisfactory search result for lack of any categorization. If there is some means to know the preference of user about the search resul...
166
click to vote
IFM
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We present a fixpoint semantics of event systems. The semantics is presented in a general framework without concerns of fairness. Soundness and completeness of rules for...
163
Voted
UML
2005
Springer
16 years 5 days ago
2005
Springer
In this paper we present a framework for the evaluation and (re)design of modeling languages. We focus here on the evaluation of the suitability of a language to model a set or rea...
255
Voted
FAABS
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
207
click to vote
FORMATS
2004
Springer
16 years 2 days ago
2004
Springer
Probabilistic timed automata are timed automata extended with discrete probability distributions, and can be used to model timed randomised protocols or faulttolerant systems. We ...