1940 search results - page 98 / 388 » The Dynamic Logic of Permission |
307
click to vote
POPL
2005
ACM
16 years 6 months ago
2005
ACM
Dynamic software updates can be used to fix bugs or add features to a running program without downtime. Essential for some applications and convenient for others, low-level dynami...
177
click to vote
CASCON
2006
15 years 8 months ago
2006
Coupling measures have important applications in software development and maintenance. They are used to reason about the structural complexity of software and have been shown to p...
174
click to vote
HYBRID
2010
Springer
16 years 1 months ago
2010
Springer
Probabilistic Computation Tree Logic (PCTL) is a wellknown modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context...
152
click to vote
IAT
2006
IEEE
16 years 16 days ago
2006
IEEE
Within many domains, among which biological and cognitive areas, multiple interacting processes occur among agents with dynamics that are hard to handle. Current approaches to ana...
191
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
Classes issued of evolving systems are dynamic and their characteristics vary over the time. Assigning a pattern to a class is achieved using a classifier. Therefore, the classifie...