7508 search results - page 153 / 1502 » A new approach for distributed computing in avionics systems |
153
click to vote
ICDCS
2005
IEEE
16 years 1 days ago
2005
IEEE
TLS has been formally analyzed with the OTS/CafeOBJ method. In the method, distributed systems are modeled as transition systems, which are written in terms of equations, and it i...
161
click to vote
SAC
2002
ACM
15 years 6 months ago
2002
ACM
Event-based systems are developed and used as a coordination model to integrate components in loosely coupled systems. Research and product development focused so far on efficienc...
155
click to vote
ACSC
2002
IEEE
15 years 11 months ago
2002
IEEE
The per-method access control lists of standard middleware technologies allow only simple forms of access control to be expressed and enforced. Research systems based on capabilit...
170
click to vote
ICMCS
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper, we develop a new service to support optimally ensured user interactions with minimum latency in interactive distributed multimedia presentation environments. The no...
157
click to vote
IPPS
2000
IEEE
15 years 10 months ago
2000
IEEE
Discovering complex associations, anomalies and patterns in distributed data sets is gaining popularity in a range of scientific, medical and business applications. Various algor...