468 search results - page 24 / 94 » Specification of Behaviour in Component Frameworks |
ACSD
1998
IEEE
14 years 21 days ago
1998
IEEE
State coding conflict detection is a fundamental part of synthesis of asynchronous concurrent systems from their specifications as Signal Transition Graphs (STGs), which are a spe...
BIBM
2008
IEEE
13 years 10 months ago
2008
IEEE
: The analysis of Biological Regulatory Network (BRN) leads to compute the set of the possible behaviours of the biological components. These behaviours are seen as trajectories an...
HPCN
2000
Springer
14 years 1 days ago
2000
Springer
We present OKEANOS, a distributed service-based agent framework implemented in Java, in which agents can act autonomously and make use of stationary services. Each agent's beh...
CCS
2006
ACM
14 years 5 days ago
2006
ACM
We propose an integrated process for component-based system development and security risk analysis. The integrated process is evaluated in a case study involving an instant messag...
TIP
2008
13 years 8 months ago
2008
Significant appearance changes of objects under different orientations could cause loss of tracking, "drifting." In this paper, we present a collaborative tracking framew...