1077 search results - page 154 / 216 » Formal Checking of Properties in Complex Systems Using Abstr... |
OSDI
2008
ACM
15 years 10 months ago
2008
ACM
Transactional flash (TxFlash) is a novel solid-state drive (SSD) that uses flash memory and exports a transactional interface (WriteAtomic) to the higher-level software. The copy-...
104
click to vote
CMS
2006
14 years 11 months ago
2006
Abstract. The perspective directions in evaluating network security are simulating possible malefactor's actions, building the representation of these actions as attack graphs...
AGI
2011
14 years 1 months ago
2011
Abstract. Recurrent connectivity, balanced between excitation and inhibition, is a general principle of cortical connectivity. We propose that balanced recurrence can be achieved b...
AAAI
2006
14 years 11 months ago
2006
A virtual organization (VO) is a dynamic collection of entities (individuals, enterprises, and information resources) collaborating on some computational activity. VOs are an emer...
ECOOP
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. An important application of unique object references is safe and efficient message passing in concurrent object-oriented programming. However, to prevent the ill effects...