20126 search results - page 87 / 4026 » Timed Transition Systems |
104
click to vote
CALCO
2005
Springer
15 years 8 months ago
2005
Springer
We consider open terms and parametric rules in the context of the systematic derivation of labelled transitions from reduction systems.
116
click to vote
IEEEARES
2010
IEEE
15 years 10 months ago
2010
IEEE
: © Solving the Transitive Access Problem for the Services Oriented Architecture Alan H. Karp, Jun Li HP Laboratories HPL-2008-204R1 SOA, web services, access control, RBAC, PBAC,...
145
click to vote
CG
1998
Springer
15 years 3 months ago
1998
Springer
We are investigating techniques for providing smooth transitions when simplifying large, static geometric models with texture-based representations (or impostors). Traditionally, ...
199
click to vote
AIED
2005
Springer
15 years 8 months ago
2005
Springer
In Japan, the “Period of Integrated Study” program to enhance practical skills began in elementary and secondary education in 2002. Most goals of this program involve meta-abil...
156
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
We discuss how phase-transitions may be detected in computationally hard problems in the context of anytime algorithms. Treating the computational time, value and utility functions...