5615 search results - page 706 / 1123 » On the Computational Capabilities of Several Models |
190
click to vote
CADE
2006
Springer
16 years 8 months ago
2006
Springer
Abstract. We extend our previous study of the automatic construction of isomorphic classification theorems for algebraic domains by considering the isotopy equivalence relation. Is...
196
click to vote
PERCOM
2007
ACM
16 years 7 months ago
2007
ACM
We propose to use node mobility to enhance routing capability in a mobile network. A dual-control planes model is presented, which includes the traditional S(stationary)-plane for ...
199
click to vote
PERCOM
2005
ACM
16 years 7 months ago
2005
ACM
In this paper we describe TinyLime, a novel middleware for wireless sensor networks that departs from the traditional setting where sensor data is collected by a central monitorin...
175
click to vote
ICCAD
2005
IEEE
16 years 4 months ago
2005
IEEE
— In this paper we propose an exact algorithm that maximizes the sharing of partial terms in Multiple Constant Multiplication (MCM) operations. We model this problem as a Boolean...
213
click to vote
IDTRUST
2009
ACM
16 years 2 months ago
2009
ACM
Organizations owning cyber-infrastructure assets face large scale distributed attacks on a regular basis. In the face of increasing complexity and frequency of such attacks, we ar...