BibSonomy
::
user
::
atrus
::
tag
user
group
author
concept
BibTeX key
search:all
search:atrus
A blue social bookmark and publication sharing system.
tags
·
relations
·
groups
·
popular
help
·
blog
·
about
username:
password:
login
·
register
bookmarks
bookmarks per page:
5
10
20
50
100
publications
(2)
<<
< 1 >
>>
Combining ECA Rules with Process Algebras for the Semantic Web
Erik
Behrends
and Oliver
Fritzen
and Wolfgang
May
and Franz
Schenk
Rules and Rule Markup Languages for the Semantic Web, Second International Conference on
(
2006
)
to
event-condition-action
markup
Semantic
semantic
rules,
semantics,
process
formal
verification,
Web,
algebra,
rule
WebECA
algebras,
by
atrus
and
1 other person
on May 9, 2008, 9:07 PM
BibTeX
<<
< 1 >
>>
publications per page:
5
10
20
50
100
event-condition-action formal
as tag from all users
event-condition-action formal
as concept from atrus
event-condition-action formal
as concept from all users
related tags
+
process
+
rules,
+
rule
+
algebras,
+
verification,
+
semantics,
+
Web,
+
Semantic
+
WebECA
+
semantic
relations
tags
2007
A-TREAT
ADAM
ADL
Ariel
CEP
COMPOSE
DEBS
DIPS
DSMS
ECA
EDA
ESP
EXACT
Gator
HiPAC
LEAPS
Ode
POSL
Rete
Rete/UL
RuleML
Semantic
Snoop
TREAT
Web,
WebECA
action
active
algebra,
algebras,
architecture
automaton
business
comparison
complex
complexity
condition
conference
confluence
database
dblp
derivation
detection
detection-based
difference
discrimination
discriminiation
evaluation
event
event-condition-action
exchange
finite
formal
glossary
imported
interval-based
jabref:noKeywordAssigned
logical
markup
network
occurrence-based
out-of-order
overview
performance
process
processing
query
rule
rules
rules,
semantic
semantics,
situation
skew
slack
state
stream
survey
termination
terms
test
verification,
web