4985 search results - page 507 / 997 » Observation of String-Rewriting Systems |
175
click to vote
ATVA
2005
Springer
16 years 14 days ago
2005
Springer
Abstract. Priorities are often used to resolve conflicts in timed systems. However, priorities are not directly supported by state-of-art model checkers. Often, a designer has to ...
171
click to vote
BIRTHDAY
2005
Springer
16 years 14 days ago
2005
Springer
We explore the connection between term rewriting systems (TRS) and aspect-oriented programming (AOP). Term rewriting is a paradigm that is used in fields such as program transform...
181
click to vote
KI
2005
Springer
16 years 12 days ago
2005
Springer
Dealing with methods of human-robot interaction and using a real mobile robot, stable methods for people detection and tracking are fundamental features of such a system and requir...
207
Voted
MM
2004
ACM
16 years 10 days ago
2004
ACM
We present a design for recapitulating walks through Dublin's City Centre by characters in James Joyce's Ulysses. Our computationally supported walkers will avail themse...
177
click to vote
ACNS
2004
Springer
16 years 9 days ago
2004
Springer
Abstract. We propose a novel framework named Hidden Colored PetriNet for Alert Correlation and Understanding (HCPN-ACU) in intrusion detection system. This model is based upon the ...