3688 search results - page 296 / 738 » Static analysis of aspects |
174
click to vote
MEMOCODE
2006
IEEE
16 years 22 days ago
2006
IEEE
Data flow models are used for specifying and analysing signal processing and streaming applications. However, traditional data flow models are either not capable of expressing t...
167
click to vote
ICIAR
2004
Springer
16 years 3 days ago
2004
Springer
Segmenting a video sequence into different coherent scenes requires analyzing those aspects which allow finding the changes where a transition is to be found. Textures are an imp...
200
click to vote
CMSB
2003
Springer
15 years 12 months ago
2003
Springer
Biochemical pathways such as metabolic, regulatory or signal tranduction pathways can be viewed as interconnected processes forming an intricate network of functional and physical...
198
click to vote
FORMATS
2003
Springer
15 years 12 months ago
2003
Springer
Probabilistic timed automata, a variant of timed automata extended with discrete probability distributions, is a specification formalism suitable for describing both nondeterminis...
172
click to vote
AOSE
2001
Springer
15 years 11 months ago
2001
Springer
A key challenge for agent-oriented software engineering is to develop and implement open systems composed of interacting autonomous agents. On the one hand, there is a need for pe...