5149 search results - page 409 / 1030 » Timed Asynchronous Distributed Systems |
138
click to vote
ICFP
2005
ACM
16 years 5 months ago
2005
ACM
Existing languages provide good support for typeful programming of standalone programs. In a distributed system, however, there may be interaction between multiple instances of ma...
152
click to vote
ICDCS
2002
IEEE
15 years 10 months ago
2002
IEEE
Data mining systems aim to discover patterns and extract useful information from facts recorded in databases. A widely adopted approach is to apply machine learning algorithms to ...
142
click to vote
ICC
2007
IEEE
15 years 11 months ago
2007
IEEE
Single-frequency simulcast networks use two or more Radio Base Stations (RBS) to transmit simultaneously the same signal on the same radio channel over the service area. To ens...
157
click to vote
CIBCB
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract— Quantum mechanics and molecular dynamic simulation provide important insights into structural configurations and molecular interaction data today. To extend this atomi...
137
click to vote
FMSD
2006
15 years 5 months ago
2006
This paper describes the application of the Real-Time Maude tool and the Maude formal methodology to the specification and analysis of the AER/NCA suite of active network multicast...