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 >
>>
RuleML 2002, Proceedings of the International Workshop on Rule Markup Languages for Business Rules on the Semantic Web, 14 June 2002, Sardinia, Italy (In conjunction with the First International Semantic Web Conference ISWC2002 and hosted by SIG2 of the OntoWeb Network
Michael
Schroeder
and Gerd
Wagner
(eds.).
volume60ofCEUR Workshop Proceedings,
CEUR-WS.org,
(
2002
)
to
jabref:noKeywordAssigned
by
atrus
and
1 other person
on May 9, 2008, 9:07 PM
BibTeX
Formal Techniques for Networked and Distributed Systems - FORTE 2005, 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings
Farn
Wang
(eds.).
volume3731ofLecture Notes in Computer Science,
Springer,
(
2005
)
to
jabref:noKeywordAssigned
by
atrus
and
1 other person
on May 9, 2008, 9:07 PM
BibTeX
<<
< 1 >
>>
publications per page:
5
10
20
50
100
jabref:noKeywordAssigned
as tag from all users
jabref:noKeywordAssigned
as concept from atrus
jabref:noKeywordAssigned
as concept from all users
related tags
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