7508 search results - page 366 / 1502 » A new approach for distributed computing in avionics systems |
197
click to vote
ICSE
2003
IEEE-ACM
16 years 14 hour ago
2003
IEEE-ACM
Abstract. Dependable distributed applications require flexible infrastructure support for controlled redundancy, replication, and recovery of components and services. However, mos...
197
click to vote
CW
2002
IEEE
15 years 11 months ago
2002
IEEE
Multimedia presentation systems require flexible support for the modeling of multimedia content models. Many presentation systems provide the synchronized, sequential or concurren...
184
click to vote
CONCUR
2000
Springer
15 years 11 months ago
2000
Springer
Model checking based on the causal partial order semantics of Petri nets is an approach widely applied to cope with the state space explosion problem. One of the ways to exploit su...
182
click to vote
IIR
2010
15 years 8 months ago
2010
Recommender systems are widely used in E-Commerce for making automatic suggestions of new items that could meet the interest of a given user. Collaborative Filtering approaches co...
140
click to vote
NSDI
2010
15 years 8 months ago
2010
We present the design and implementation of a novel anti-malware system called SplitScreen. SplitScreen performs an additional screening step prior to the signature matching phase...