2610 search results - page 408 / 522 » The Recognition Strategy Language |
147
click to vote
CP
2007
Springer
16 years 15 days ago
2007
Springer
Defence trees and CP-net (ceteris paribus network) are two useful approaches that can be used to help a system administrator to analyze a security scenario and to give him a model ...
155
click to vote
CSL
2007
Springer
16 years 15 days ago
2007
Springer
A game semantics of the (−−∗, →)-fragment of the logic of bunched implications, BI, is presented. To date, categorical models of BI have been restricted to two kinds: funct...
145
click to vote
ICALP
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. We consider the minimum-time reachability problem in concurrent two-player timed automaton game structures. We show how to compute the minimum time needed by a player to ...
174
click to vote
ICSE
2007
IEEE-ACM
16 years 15 days ago
2007
IEEE-ACM
This tutorial teaches professional developers design principles for “production-quality”, aspect-oriented software, written in Java/AspectJ and Ruby. The discussion starts wit...
156
click to vote
KI
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. Rule-based programming paradigm is omnipresent in number of engineering domains. However, there are some fundamental semantical differences between it, and classic progr...