2500 search results - page 144 / 500 » Specifying Behavior in C |
130
click to vote
ISOLA
2004
Springer
15 years 8 months ago
2004
Springer
In this paper we introduce RML, which stands for Rule Markup Language and is used for rule–based transformations of XML. With RML the user can define XML wildcard elements, vari...
129
click to vote
HICSS
2003
IEEE
15 years 8 months ago
2003
IEEE
The paper reports on an analysis technology based on the tracing approach to test trustworthy requirements of a distributed system. The system under test is instrumented such that...
146
click to vote
SAC
2003
ACM
15 years 8 months ago
2003
ACM
A fundamental issue in the engineering of coordination models is n coordination abstractions that are correct with respect to the specification of the coordination model they imp...
120
click to vote
DATE
2002
IEEE
15 years 8 months ago
2002
IEEE
: It has always been assumed that fault models in memories are sufficiently precise for specifying the faulty behavior. This means that, given a fault model, it should be possible...
150
click to vote
AGENTS
2001
Springer
15 years 8 months ago
2001
Springer
This paper describes Icarus, an agent architecture that embeds a hierarchical reinforcement learning algorithm within a language for specifying agent behavior. An Icarus program e...