31387 search results - page 473 / 6278 » Abstracts |
232
click to vote
TPHOL
2008
IEEE
16 years 2 months ago
2008
IEEE
Abstract. Type Classes have met a large success in Haskell and Isabelle, as a solution for sharing notations by overloading and for specith abstract structures by quantification o...
169
click to vote
BROADNETS
2007
IEEE
16 years 2 months ago
2007
IEEE
Abstract— We present a “clean-slate” design for a networklayer routing and forwarding system intended to address shortcomings of the current Internet Protocol. Our design sep...
254
click to vote
MTV
2007
IEEE
16 years 2 months ago
2007
IEEE
Abstract—Abstract models of analog/mixed-signal (AMS) circuits can be used for formal verification and system-level simulation. The difficulty of creating these models preclude...
244
click to vote
SEUS
2007
IEEE
16 years 2 months ago
2007
IEEE
In the literature there exist many proposed architectures for sensor fusion applications. This paper briefly reviews some of the most common approaches, i. e., the JDL fusion arch...
200
click to vote
ATVA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The emerging technology of interacting systems calls for new forto ensure their reliability. Concurrent games are paradigmatic abstract models for which several logics ha...