4418 search results - page 806 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
306
click to vote
ICDE
2009
IEEE
16 years 8 months ago
2009
IEEE
Modern database systems increasingly make use of networked storage. This storage can be in the form of SAN's or in the form of shared-nothing nodes in a cluster. One type of a...
182
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
Transactional events (TE) are an approach to concurrent programming that enriches the first-class synchronous message-passing of Concurrent ML (CML) with a combinator that allows ...
163
click to vote
SACMAT
2009
ACM
16 years 24 days ago
2009
ACM
We develop the foundations for a theory of Group-Centric Secure Information Sharing (g-SIS), characterize a specific family of models in this arena and identify several direction...
178
click to vote
ISCA
2005
IEEE
15 years 12 months ago
2005
IEEE
Network Intrusion Detection and Prevention Systems have emerged as one of the most effective ways of providing security to those connected to the network, and at the heart of alm...
201
click to vote
HPDC
2007
IEEE
16 years 18 days ago
2007
IEEE
Adapting to the network is the key to achieving high performance for communication-intensive applications, including scientific computing, data intensive computing, and multicast...