2132 search results - page 11 / 427 » Automated software winnowing |
TII
2010
13 years 4 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 ...
ISSTA
2004
ACM
14 years 3 months ago
2004
ACM
EUROMICRO
2009
IEEE
14 years 4 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...
ISPW
2005
IEEE
14 years 3 months ago
2005
IEEE
INFOCOM
2012
IEEE
12 years 2 days 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...