568 search results - page 74 / 114 » Enforcing traceability in software |
POPL
2004
ACM
14 years 10 months ago
2004
ACM
We investigate proof rules for information hiding, using the recent formalism of separation logic. In essence, we use the separating conjunction to partition the internal resource...
ISORC
2009
IEEE
14 years 4 months ago
2009
IEEE
There is increasing convergence between the fields of parallel and embedded computing. The demand for more functionality in embedded devices means that complex multicore architec...
MEDES
2009
ACM
14 years 4 months ago
2009
ACM
P2P techniques for semantic coordination based on semantic communities are recently emerging to enforce effective collaboration platforms. In this paper, we focus on semantic coo...
ACMMSP
2006
ACM
14 years 3 months ago
2006
ACM
We present an implementation and evaluation of atomicity (also known as software transactions) for a dialect of Java. Our implementation is fundamentally different from prior work...
ISORC
2005
IEEE
14 years 3 months ago
2005
IEEE
Distributed Real-Time Embedded systems (DRE) increasingly rely on COTS middleware to meet their distribution needs. Yet, there is a technology gap between the design of COTS middl...