5718 search results - page 929 / 1144 » Modeling Rule Precision |
186
click to vote
EUC
2007
Springer
16 years 1 months ago
2007
Springer
There are many research efforts that focus on converting everyday environments into intelligent and computationally active environments that support and enhance the abilities of it...
192
Voted
FPL
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents a novel architecture for domain-specific FPGA devices. This architecture can be optimised for both speed and density by exploiting domain-specific informatio...
214
click to vote
ICN
2007
Springer
16 years 1 months ago
2007
Springer
—Using Mobile Ad Hoc Networks (MANETs) for monitoring bovine animals potentially offers high increase in the profitability of cattle production. In this paper we propose a formal...
182
Voted
LCPC
2007
Springer
16 years 1 months ago
2007
Springer
Binary Decision Diagrams (BDDs) have recently become widely accepted as a space-efficient method of representing relations in points-to analyses. When BDDs are used to represent re...
179
click to vote
LPAR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...