99 search results - page 17 / 20 » Directed Unfolding of Petri Nets |
96
Voted
TNN
1998
15 years 2 hour ago
1998
—A structured organization of information is typically required by symbolic processing. On the other hand, most connectionist models assume that data are organized according to r...
109
click to vote
DASFAA
2007
IEEE
15 years 6 months ago
2007
IEEE
In Service Oriented Architecture (SOA), the need for inter-service compatibility analysis has gone beyond what existing service composition/ verification approaches can handle. Giv...
119
Voted
AMAST
1991
Springer
15 years 3 months ago
1991
Springer
Boolean logic treats disjunction and conjunction symmetrically and algebraically. The corresponding operations for computation are respectively nondeterminism (choice) and concurr...
201
click to vote
POPL
2009
ACM
16 years 1 months ago
2009
ACM
Asynchronous or "event-driven" programming is a popular technique to efficiently and flexibly manage concurrent interactions. In these programs, the programmer can post ...
114
Voted
TCS
2002
14 years 12 months ago
2002
This paper explores the application of rewriting logic to the executable formal modeling of real-time and hybrid systems. We give general techniques by which such systems can be s...