215 search results - page 28 / 43 » State-Transition Computation Models and Program Correctness ... |
105
click to vote
SAC
2009
ACM
15 years 6 months ago
2009
ACM
Ubiquitous computing and service-oriented computing enable the development of a new trend of applications that can opportunely interact with services discovered in the surrounding...
110
click to vote
ICDCS
1995
IEEE
15 years 3 months ago
1995
IEEE
One of the mostsoughtaftersoftware innovation of thisdecade is the construction of systems using off-the-shelf workstations that actually deliver, and even surpass, the power and ...
LICS
2008
IEEE
15 years 6 months ago
2008
IEEE
Kleene algebra with tests (KAT) is an equational system for program veriļ¬cation that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...
ASPLOS
2010
ACM
15 years 6 months ago
2010
ACM
Computer systems with virtual memory are susceptible to design bugs and runtime faults in their address translation (AT) systems. Detecting bugs and faults requires a clear speciļ...
111
click to vote
KBSE
2007
IEEE
15 years 6 months ago
2007
IEEE
We present tools to support model-based security engineering on both the model and the code level. In the approach supported by these tools, one ļ¬rstly speciļ¬es the securitycr...