849 search results - page 8 / 170 » Reactive Rules on the Web |
RR
2007
Springer
14 years 1 months ago
2007
Springer
Expressing rules in controlled natural language can bring us closer to the vision of the Semantic Web since rules can be written in the notation of the application domain and are u...
IAJIT
2010
13 years 6 months ago
2010
: The specification of the dynamic behaviour of reactive distributed systems must exhibit the structures of control and has to imply explicitly the relevant aspects of the distribu...
RR
2010
Springer
13 years 6 months ago
2010
Springer
The sparse application of the Semantic Web Rule Language is partly caused by a lack of intuitive rule editors. This applies both from a human user’s, as well as from a software i...
FOSSACS
2009
Springer
14 years 2 months ago
2009
Springer
Reactive systems, proposed by Leifer and Milner, represent a meta-framework aimed at deriving behavioral congruences for those specification formalisms whose operational semantics...
KBSE
2007
IEEE
14 years 1 months ago
2007
IEEE
We describe a model-based construction of an online tester for black-box testing of implementation under test (IUT). The external behavior of the IUT is modeled as an output obser...