8874 search results - page 92 / 1775 » A New Implementation of Automath |
109
click to vote
SAC
2009
ACM
15 years 10 months ago
2009
ACM
We present a modular approach to implement adaptive decisions with existing scientific codes. Using a sophisticated system software tool based on the function call interception t...
116
Voted
SAC
2009
ACM
15 years 10 months ago
2009
ACM
Recently, many projects have been started to introduce some real-time mechanisms into general purpose operating systems (GPOS) in order to make them capable of providing the users...
161
click to vote
ITNG
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper the authors describe the implementation and validation of a prototype of an environmental and health monitoring system based on a Wireless Sensor Network (WSN). The ...
128
Voted
CHES
2007
Springer
15 years 9 months ago
2007
Springer
The hardness of the integer factorization problem assures the security of some public-key cryptosystems including RSA, and the number field sieve method (NFS), the most efficient ...
137
Voted
COMPSAC
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper presents behavior contracts as a new assertion mechanism and a tool that uses such contracts to support the testing of Object-Oriented (OO) systems. A behavior contract...