Sciweavers

3522 search results - page 112 / 705
» Modeling and Aspect Weaving
Sort
View
SFM
2004
Springer
14 years 2 months ago
Embedded Software Analysis with MOTOR
This paper surveys the language Modest, a Modelling and Description language for Stochastic and Timed systems, and its accompanying tool-environment MOTOR. The language and tool ar...
Joost-Pieter Katoen, Henrik C. Bohnenkamp, Ric Kla...
CONTEXT
2001
Springer
14 years 1 months ago
About Some Relationships between Knowledge and Context
Many attempts have been made to capture, on the one hand, the nature of knowledge, and on the other hand, the nature of context. In this paper, we compare the two concepts of conte...
Jean-Charles Pomerol, Patrick Brézillon
SAM
2000
102views Hardware» more  SAM 2000»
13 years 10 months ago
Test Generation Based On Control And Data Dependencies Within Multi-Process SDL Specifications
Control and data flow aspects of a distributed system can be identified through the analysis of control and data dependencies that exist not only within processes, but also across...
Olaf Henniger, Hasan Ural
ENDM
2010
72views more  ENDM 2010»
13 years 9 months ago
Earliest Arrival Flows in Networks with Multiple Sinks
Earliest arrival flows model a central aspect of evacuation planning: In a dangerous situation, as many individuals as possible should be rescued at any point in time. Unfortunate...
Melanie Schmidt, Martin Skutella
AEI
2005
110views more  AEI 2005»
13 years 9 months ago
Data mining techniques for improving the reliability of system identification
A system identification methodology that makes use of data mining techniques to improve the reliability of identification is presented in this paper. An important aspect of the me...
Sandro Saitta, Benny Raphael, Ian F. C. Smith