4209 search results - page 269 / 842 » Abstract Dialectical Frameworks |
140
click to vote
MIDDLEWARE
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Next-generation Grid applications will be highly heterogeneous in nature, will run on many types of computer and device, will operate within and across many heterogeneous...
150
click to vote
SIGADA
2005
Springer
16 years 1 days ago
2005
Springer
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...
185
click to vote
EMSOFT
2004
Springer
15 years 12 months ago
2004
Springer
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
163
click to vote
ESTIMEDIA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract— This paper presents an exploration framework which performs data assignment and access scheduling exploration for applications given a multilayer memory architecture. O...
169
click to vote
ICRA
2003
IEEE
15 years 12 months ago
2003
IEEE
Abstract— Recently, we have implemented a computervision based horizon-tracking algorithm for flight stability and autonomy in Micro Air Vehicles (MAVs) [1]. Occasionally, this ...