31387 search results - page 472 / 6278 » Abstracts |
227
click to vote
RP
2009
Springer
16 years 2 months ago
2009
Springer
We present an abstraction of the probabilistic semantics of Multiset Rewriting to formally express systems of reactions with uncertain kinetic rates. This allows biological systems...
182
click to vote
AUTOMOTIVEUI
2009
ACM
16 years 2 months ago
2009
ACM
In this paper we present an approach for creating user infrom abstract representations for the automotive domain. The approach is based on transformations between different user ...
197
click to vote
FASE
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. Abstraction is essential in the formal specification of programs. A common way of writing abstract specifications is to specify implementations in terms of basic mathem...
184
click to vote
ECRTS
2008
IEEE
16 years 2 months ago
2008
IEEE
T-N Plane Abstraction (E-TNPA) proposed in this paper realizes work-conserving and efficient optimal real-time scheduling on multiprocessors relative to the original T-N Plane Ab...
173
click to vote
IAT
2008
IEEE
16 years 2 months ago
2008
IEEE
In this paper we present a decision making framework to enable agents to dynamically select a coordination mechanism. To demonstrate our approach we introduce an abstract task env...