2493 search results - page 73 / 499 » Tool Support for Design by Contract |
SIGCOMM
2004
ACM
15 years 3 months ago
2004
ACM
While application end-point architectures have proven to be viable solutions for large-scale distributed applications such as distributed computing and file-sharing, there is lit...
108
click to vote
JBCS
2010
14 years 8 months ago
2010
We present an incarnation of the Enterprise Physics vision sketched in [3] that provides automatic or semi-automatic support for evolution and change management in heterogeneous le...
DSOM
2007
Springer
15 years 4 months ago
2007
Springer
As service providers strive to improve the quality and efficiency of their IT (information technology) management services, the need to adopt a standard set of tools and processes...
VLSID
2008
IEEE
15 years 10 months ago
2008
IEEE
With increasing adoption of Electronic System Level (ESL) tools, effective design and validation time has reduced to a considerable extent. Cosimulation is found to be a principal...
CANDC
2009
ACM
15 years 4 months ago
2009
ACM
We present a new survey metric, the Creativity Support Index (CSI) that is designed to help researchers and designers evaluate the level of creativity support provided by various ...