2838 search results - page 305 / 568 » Verifying Controlled Components |
127
click to vote
WORDS
2003
IEEE
15 years 7 months ago
2003
IEEE
The emergence of applications operating independently of direct human control is inevitable. Research on high-level models for this class of applications— e.g. on autonomous age...
117
Voted
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract— We consider a distributed multi-agent network system where the goal is to minimize an objective function that can be written as the sum of component functions, each of ...
120
click to vote
CCS
2000
ACM
15 years 6 months ago
2000
ACM
This paper describes a security model for mobile agent based systems. The model defines the notion of a security-enhanced agent and outlines security management components in agen...
135
Voted
HASE
1999
IEEE
15 years 6 months ago
1999
IEEE
The paper introduces a method to model embedded dependability-critical systems as AND-composition of Guarded Statecharts which are special UMLstatecharts. With Guarded Statecharts...
125
Voted
RTSS
1999
IEEE
15 years 6 months ago
1999
IEEE
Many scheduling paradigms have been studied for realtime applications and real-time communication network. Among them, the most commonly used paradigms include priority-driven, ti...