2409 search results - page 89 / 482 » On Extended Regular Expressions |
180
click to vote
IJCAI
2001
15 years 8 months ago
2001
In the quest for expressive description logics for real-world applications, a powerful combination of constructs has so far eluded practical decision procedures: intersection and ...
162
click to vote
TCS
2008
15 years 6 months ago
2008
We show that the class of Petri nets is less expressive with respect to bisimulation equivalence than the class of PA processes extended with a finite state control unit. Key word...
181
click to vote
DSRT
2008
IEEE
16 years 1 months ago
2008
IEEE
Security and reliability are of paramount importance in designing and building real-time systems because any security failure can put the public and the environment at risk. In th...
207
click to vote
SPIN
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
201
click to vote
SAC
2003
ACM
16 years 15 hour ago
2003
ACM
Existing sequence comparison software applications lack automation, abstraction, performance, and flexibility. Users need a new way of studying and applying sequence comparisons i...