405 search results - page 26 / 81 » Modelling dependencies of IT Infrastructure elements |
HYBRID
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. This paper addresses a parameter synthesis problem for nonlinear hybrid systems. Considering a set of uncertain parameters and a safety property, we give an algorithm tha...
COR
2008
14 years 8 months ago
2008
Quantitative performance modeling of complex information systems is of immense importance for designing enterprise e-business infrastructures and applications. In this paper, we p...
85
Voted
JUCS
2010
14 years 8 months ago
2010
: A natural interface is one of three key technologies of Ambient Intelligence (AmI); one of its main objectives is to minimize the user’s interactive effort, which is the diffic...
79
Voted
ICCAD
1997
IEEE
15 years 1 months ago
1997
IEEE
This paper presents a unique approach to improve yield given a routed layout. Currently after routing has been completed and compacted, it generally proceeds to verification witho...
ECBS
2008
IEEE
14 years 11 months ago
2008
IEEE
Large and complex software systems require expressive notations for representing their software architecture. In this context Architecture Description Languages (ADLs) can be used...