3765 search results - page 455 / 753 » Formal Methods for Systems Engineering Behavior Models |
211
click to vote
STEP
2003
IEEE
15 years 12 months ago
2003
IEEE
Software patterns are a new design paradigm used to solve problems that arise when developing software within a particular context. Patterns capture the static and dynamic structu...
208
click to vote
FMICS
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
174
click to vote
BTW
2005
Springer
16 years 5 days ago
2005
Springer
: This paper presents the MINERVA project that protoypes a distributed search engine based on P2P techniques. MINERVA is layered on top of a Chord-style overlay network and uses a ...
173
click to vote
FIW
2007
15 years 8 months ago
2007
Feature interaction detection methods, whether online or offline, depend on previous knowledge of conflicts between the actions executed by the features. This knowledge is usually ...
216
click to vote
CONCUR
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Modelling is becoming a necessity in studying biological signalling pathways, because the combinatorial complexity of such systems rapidly overwhelms intuitive and qualit...