2838 search results - page 214 / 568 » Verifying Controlled Components |
106
Voted
SIGSOFT
2005
ACM
16 years 1 months ago
2005
ACM
A way of combining object-oriented and structural paradigms of software composition is demonstrated in a tool for generative programming. Metaclasses are introduced that are compon...
ICES
2007
Springer
15 years 6 months ago
2007
Springer
This paper presents elementary circuit components which exhibit self-checking properties; however, which do not utilize any additional signals to indicate the fault. The fault is i...
88
Voted
ICTAC
2004
Springer
15 years 6 months ago
2004
Springer
A switched probabilistic I/O automaton is a special kind of probabilistic I/O automaton (PIOA), enriched with an explicit mechanism to exchange control with its environment. Every ...
102
click to vote
DANCE
2002
IEEE
15 years 5 months ago
2002
IEEE
Janos is an operating system for active network nodes whose primary focus is strong resource management and control of untrusted active applications written in Java. Janos include...
AAAI
1990
15 years 1 months ago
1990
Three key components of an autonomous intelligent system are planning, execution, and learning. This paper describes how the Soar architecture supports planning, execution, and le...