7117 search results - page 73 / 1424 » IT Governance Frameworks as Methods |
155
click to vote
ETFA
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper, we present the development of a plug-in framework for integration of real-time analysis methods in the Rubus Integrated Component Environment (RubusICE). We also pr...
128
click to vote
FMSD
2006
15 years 4 months ago
2006
We define a cones and foci proof method, which rephrases the question whether two system specifications are branching bisimilar in terms of proof obligations on relations between ...
122
click to vote
KBSE
2006
IEEE
15 years 10 months ago
2006
IEEE
A software system interacts with its environment through system interfaces. Robustness of software systems are governed by various temporal properties related to these interfaces,...
129
click to vote
ICMCS
2005
IEEE
15 years 10 months ago
2005
IEEE
The loss and delay experienced by packets travelling along an Internet network path are mainly governed by the characteristics of a bottleneck link, such as available data rate an...
138
click to vote
CLOUD
2010
ACM
15 years 9 months ago
2010
ACM
Timely and cost-effective processing of large datasets has become a critical ingredient for the success of many academic, government, and industrial organizations. The combination...