Sciweavers

5113 search results - page 393 / 1023
» Model-integrated system development: models, architecture, a...
Sort
View
COOPIS
2004
IEEE
15 years 10 months ago
A Distributed and Parallel Component Architecture for Stream-Oriented Applications
Abstract. This paper introduces ThreadMill - a distributed and parallel component architecture for applications that process large volumes of streamed (time-sequenced) data, such a...
Paulo Barthelmess, Clarence A. Ellis
MIDDLEWARE
2005
Springer
16 years 11 days ago
Adaptive query processing in mobile environment
These last years, the evolution of nomadic terminals and mobile networks has yield to the development of the ubiquitous computing. In this context, actual query evaluation and opt...
Hocine Grine, Thierry Delot, Sylvain Lecomte
SPIN
2009
Springer
16 years 1 months ago
Identifying Modeling Errors in Signatures by Model Checking
: Most intrusion detection systems deployed today apply misuse detection as analysis method. Misuse detection searches for attack traces in the recorded audit data using predefined...
Sebastian Schmerl, Michael Vogel, Hartmut Kön...
QEST
2009
IEEE
16 years 1 months ago
Nondeterministic Labeled Markov Processes: Bisimulations and Logical Characterization
We extend the theory of labeled Markov processes with internal nondeterminism, a fundamental concept for the further development of a process theory with abstraction on nondetermi...
Pedro R. D'Argenio, Nicolás Wolovick, Pedro...
WSCG
2004
168views more  WSCG 2004»
15 years 8 months ago
Computer-assisted Analysis of in-vitro Vasculogenesis and Angiogenesis Processes
In recent years many experimental investigations have been carried out on vasculogenesis and angiogenesis, the mechanisms of blood vessels formation. Neovascularization is a hallm...
Fabrizio Lamberti, Andrea Gamba, Bartolomeo Montru...