5159 search results - page 461 / 1032 » Structural Testing of Executables |
182
click to vote
DEBS
2009
ACM
16 years 2 months ago
2009
ACM
We study the development of distributed agent environments as distributed event-based systems specified in the Ambient Event Calculus (AEC). The AEC is a logic-based formalism th...
179
click to vote
WADS
2007
Springer
16 years 1 months ago
2007
Springer
In the faulty-memory RAM model, the content of memory cells can get corrupted at any time during the execution of an algorithm, and a constant number of uncorruptible registers are...
180
click to vote
ASIACRYPT
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. As an extension of multi-party computation (MPC), we propose the concept of secure parallel multi-party computation which is to securely compute multi-functions against a...
210
click to vote
EUROCAST
2005
Springer
16 years 1 months ago
2005
Springer
The incorporation of temporal semantic into the traditional data mining techniques has caused the creation of a new area called Temporal Data Mining. This incorporation is especial...
228
click to vote
ISADS
2003
IEEE
16 years 27 days ago
2003
IEEE
An advanced high-level approach for programming of real-time distributed computing applications, the TMO (Time-triggered Message-triggered Object) programming and specification sc...