4166 search results - page 267 / 834 » Automating the constraining process |
129
click to vote
FCT
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...
185
click to vote
ICESS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Wireless sensor networks (WSNs) are comprised of energy constrained nodes. This limitation has led to the crucial need for energy-aware protocols to produce an efficient ...
142
click to vote
ASAP
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper proposes different low-cost coprocessors for public key authentication on 8-bit smart cards. Elliptic curve cryptography is used for its efficiency per bit of key and ...
121
click to vote
IPSN
2005
Springer
15 years 9 months ago
2005
Springer
— Networked Infomechanical Systems (NIMS) introduces a new actuation capability for embedded networked sensing. By exploiting a constrained actuation method based on rapidly depl...
109
click to vote
IMR
2003
Springer
15 years 9 months ago
2003
Springer
Quadratic elements place stringent requirements on a surface mesh smoother. One of the biggest challenges is that a good linear element may become invalid when mid-side nodes are ...