46 search results - page 7 / 10 » Supporting Proof in a Reactive Development Environment |
IROS
2006
IEEE
15 years 3 months ago
2006
IEEE
— This paper introduces the Extensible Agent Behavior Specification Language (XABSL) as a pragmatic tool for engineering the behavior of autonomous agents in complex and dynamic...
ICECCS
2009
IEEE
15 years 4 months ago
2009
IEEE
Collaborative development, incremental design and revision management require the ability to compare different versions of software artifacts. There are well-established approache...
79
Voted
SSR
2001
14 years 11 months ago
2001
As wide-area open networks like the Internet and intranets grow larger, mobile agent technology is attracting more attention. Mobile agents are units of software that can deal wit...
DSN
2008
IEEE
15 years 4 months ago
2008
IEEE
: The consolidation of multiple servers and their workloads aims to minimize the number of servers needed thereby enabling the efficient use of server and power resources. At the s...
ENTCS
2007
14 years 9 months ago
2007
This paper promotes compositional reasoning in the context of safety-critical systems, and demonstrates a safety-oriented component model using an application from the automotive ...