2688 search results - page 458 / 538 » A formal semantics for P3P |
145
click to vote
ISSTA
2009
ACM
16 years 26 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...
184
click to vote
EDOC
2008
IEEE
16 years 25 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...
153
click to vote
MOMPES
2008
IEEE
16 years 22 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...
154
click to vote
RSP
2008
IEEE
16 years 22 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...
161
click to vote
SEFM
2008
IEEE
16 years 22 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...