5234 search results - page 898 / 1047 » Simulation of Computer Network Attacks |
123
Voted
FAC
2010
15 years 1 months ago
2010
Inspired by the properties of the refinement development of the Mondex Electronic Purse, we view an isolated atomic action as a family of transitions with a common before-state, an...
152
Voted
DEBS
2009
ACM
15 years 7 months ago
2009
ACM
Streaming data models have been shown to be useful in many applications requiring high-performance data exchange. Application-level overlay networks are a natural way to realize t...
115
Voted
DATE
2006
IEEE
15 years 9 months ago
2006
IEEE
Most hardware description languages do not enforce determinacy, meaning that they may yield races. Race conditions pose a problem for the implementation, verification, and validat...
120
Voted
PERCOM
2010
ACM
15 years 7 months ago
2010
ACM
Abstract—People waste many hours driving each day. Although unavoidable, this time can be very boring to motorists. Similar to people taking mass transit who often pass the time ...
254
Voted
ICDE
2009
IEEE
16 years 5 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...