5668 search results - page 842 / 1134 » Overlaps in Requirements Engineering |
164
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
Serializability is a commonly used correctness condition in concurrent programming. When a concurrent module is serializable, certain other properties of the module can be verifie...
203
click to vote
ESOP
2010
Springer
16 years 4 months ago
2010
Springer
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
198
click to vote
EUROSYS
2008
ACM
16 years 3 months ago
2008
ACM
The basic system timer facilities used by applications and OS kernels for scheduling timeouts and periodic activities have remained largely unchanged for decades, while hardware a...
179
click to vote
EUROSYS
2008
ACM
16 years 3 months ago
2008
ACM
Parallax is a distributed storage system that uses virtualization to provide storage facilities specifically for virtual environments. The system employs a novel architecture in ...
196
click to vote
EUROSYS
2007
ACM
16 years 3 months ago
2007
ACM
Sprint is a middleware infrastructure for high performance and high availability data management. It extends the functionality of a standalone in-memory database (IMDB) server to ...