10458 search results - page 35 / 2092 » Modeling Features at Runtime |
103
click to vote
ICWS
2007
IEEE
15 years 1 months ago
2007
IEEE
In this paper we describe a platform that supports context aware runtime service discovery. The platform supports service discovery based on structural and behavioural service mod...
RV
2007
Springer
15 years 5 months ago
2007
Springer
Probabilistic correctness is another important aspect of reliable systems. A soft real-time system, for instance, exhibits probabilistic behaviors from tolerating some degrees of ...
125
click to vote
CBSE
2004
Springer
15 years 5 months ago
2004
Springer
Embedded systems must be cost-effective. This imposes strict requirements on the resource consumption of their applications. It is therefore desirable to be able to determine the ...
121
click to vote
FM
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. The Java Modeling Language (JML) recently switched to an assertion semantics based on "strong validity" in which an assertion is taken to be valid precisely whe...
100
click to vote
ICPP
2007
IEEE
15 years 6 months ago
2007
IEEE
Performance and power are critical design constraints in today’s high-end computing systems. Reducing power consumption without impacting system performance is a challenge for t...