8874 search results - page 43 / 1775 » A New Implementation of Automath |
MOZ
2004
Springer
14 years 4 months ago
2004
Springer
The analysis of biochemical networks consists in studying the interactions between biological entities cooperating in complex cellular processes. To facilitate the expression of an...
ISCAS
2003
IEEE
14 years 4 months ago
2003
IEEE
Couple to the communications wired and unwired networks growth, is the increasing demand for strong secure data transmission. New cryptographic standards are developed, and new en...
ISMM
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. We present an efficient implementation of the ultimate attribute opening operator. In this implementation, the ultimate opening is computed by processing the image maxtre...
NCA
2007
IEEE
14 years 5 months ago
2007
IEEE
Developing middleware services for dynamic distributed systems, e.g., ad-hoc networks, is a challenging task given that such services deal with dynamically changing membership and...
IPPS
2003
IEEE
14 years 4 months ago
2003
IEEE
UPC is an explicit parallel extension of ANSI C, which has been gaining rising attention from vendors and users. In this work, we consider the low-level monitoring and experimenta...