2132 search results - page 11 / 427 » Automated software winnowing |
144
Voted
TII
2010
14 years 10 months ago
2010
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (ContPNs). Specifically, we consider two problems: (1) given an initial set ...
140
Voted
EUROMICRO
2009
IEEE
15 years 10 months ago
2009
IEEE
—We propose a software engineering process to aid the development of Dynamic Software Architectures (DSAs). This process is based on the sequential application of a number of for...
97
Voted
ISPW
2005
IEEE
15 years 9 months ago
2005
IEEE
147
Voted
INFOCOM
2012
IEEE
13 years 6 months ago
2012
IEEE
—Enterprise networks today host a wide variety of network services, which often depend on each other to provide and support network-based services and applications. Understanding...