2685 search results - page 459 / 537 » A Formal Semantics for SPKI |
144
click to vote
ISSTA
2009
ACM
16 years 20 days ago
2009
ACM
This paper explores an approach to improving the practical usability of static verification tools for debugging synchronization idioms. Synchronization idioms such as mutual excl...
181
click to vote
EDOC
2008
IEEE
16 years 19 days ago
2008
IEEE
The definition and management of access rules (e.g., to control the access to business documents and business functions) is an important task within any enterprise information sy...
145
click to vote
MOMPES
2008
IEEE
16 years 17 days ago
2008
IEEE
During its lifetime, embedded systems go through multiple changes to their runtime architecture. That is, threads, processes, and processor are added or removed to/from the softwa...
148
click to vote
RSP
2008
IEEE
16 years 16 days ago
2008
IEEE
Dataflow formalisms have provided designers of digital signal processing systems with optimizations and guarantees to arrive at quality prototypes quickly. As system complexity in...
158
click to vote
SEFM
2008
IEEE
16 years 16 days ago
2008
IEEE
Aspect oriented programming can arbitrarily distort the semantics of programs. In particular, weaving can invalidate crucial safety and liveness properties of the base program. In...