740 search results - page 86 / 148 » Constraints in Object-Oriented Analysis and Design |
164
click to vote
SOFSEM
1997
Springer
15 years 10 months ago
1997
Springer
This paper surveys recent results in the area of virtual path layout in ATM networks. We present a model for the theoretical study of these layouts the model amounts to covering t...
190
click to vote
COR
2007
15 years 6 months ago
2007
We present a framework for solving multistage pure 0–1 programs for a widely used sequencing and scheduling problem with uncertainty in the objective function coefficients, the...
159
click to vote
RTSS
2008
IEEE
16 years 23 days ago
2008
IEEE
Many embedded systems are subject to temporal constraints that require advance guarantees on meeting deadlines. Such systems rely on static analysis to safely bound worst-case exe...
149
click to vote
DAC
2010
ACM
15 years 6 months ago
2010
ACM
We study diagnosis of segments on speedpaths that fail the timing constraint at the post-silicon stage due to manufacturing variations. We propose a formal procedure that is appli...
220
click to vote
SEMCO
2009
IEEE
16 years 1 months ago
2009
IEEE
— In this paper we present an automated support for software model evolution using a formal language constructs. For this, we extended Object Constraint Language (OCL) with actio...