2940 search results - page 56 / 588 » Behavioral Constraints for Services |
134
click to vote
SIGSOFT
2009
ACM
16 years 6 months ago
2009
ACM
Initial system specifications, such as use-case scenarios and properties, only partially specify the future system. We posit that synthesizing partial component-level behavior mod...
155
click to vote
JEC
2006
15 years 5 months ago
2006
The paper addresses a novel method for realtime analysis of systems with cyclic data flows. The presented method is based on Network Calculus principles, where upper and lower flo...
175
click to vote
ICECCS
2007
IEEE
16 years 2 days ago
2007
IEEE
Identifying and resolving design problems in the early design phase can help ensure software quality and save costs. There are currently few tools for analyzing designs expressed ...
169
click to vote
ISLPED
2009
ACM
16 years 8 days ago
2009
ACM
Many techniques for power management employed in advanced RTL synthesis tools rely explicitly or implicitly on observability don’t-care (ODC) conditions. In this paper we presen...
160
click to vote
GRID
2005
Springer
15 years 11 months ago
2005
Springer
—The scale, heterogeneity and dynamism of Grid applications and environments require Grid applications to be self-managing or autonomic. This paper presents the Accord autonomic ...