1837 search results - page 250 / 368 » Abstraction and the C Machine Model |
149
click to vote
CIA
2003
Springer
15 years 11 months ago
2003
Springer
Abstract For an information-agent-based system to support virtual (Internet-supported) organisations, changes in environmental conditions often demand changes in organisational beh...
146
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract— Commonly, controllers for Linear ParameterVarying (LPV) systems are designed in continuous-time using a Linear Fractional Representation (LFR) of the plant. However, th...
208
click to vote
RTAS
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper introduces FARA, a framework that provides abstractions and mechanisms for building integrated adaptation and resource allocation services in complex real-time systems....
148
click to vote
ISI
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Counterterrorism is one of the major challenges to the society. In order to flight again the terrorists, it is very important to have a through understanding of the terro...
133
click to vote
JLP
2006
15 years 5 months ago
2006
We present an algorithm for the linearization of hybrid processes modeled in hybrid process algebra (HyPA) and prove its correctness. HyPA is a formalism that is suitable for the ...