8874 search results - page 222 / 1775 » A New Implementation of Automath |
139
click to vote
ICSEA
2006
IEEE
15 years 10 months ago
2006
IEEE
— Currently there are different approaches to develop fault-tolerant embedded software: implementing the system from scratch or using libraries respectively specialized hardware....
132
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
A multi-agent system is a useful approach for the complex systems. One of the important concepts of multi-agent systems is cooperativeness, or interactions. However, existing lang...
151
click to vote
ICA3PP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Designing a simple but powerful low-level communication library for Java HPC environments is an important task. We introduce new low-level communication library for Java ...
132
click to vote
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
In this paper, we present a new solution for the implementation of flexible protection mechanisms in the context of mobile agent systems, where security problems are currently a ...
121
click to vote
SIGADA
2004
Springer
15 years 10 months ago
2004
Springer
The GNAT Development Team is directly involved with the Ada 2005 effort, both participating in the Ada Rapporteur Group (ARG), and implementing and testing the new features propo...