1916 search results - page 300 / 384 » Reconfiguring a state machine |
ASWEC
2009
IEEE
14 years 4 months ago
2009
IEEE
Testing enterprise software that communicates with a large number of other software systems is a challenging task as it is often difficult to replicate the size and heterogeneity...
DSN
2009
IEEE
14 years 3 months ago
2009
IEEE
A virtual networked environment (VNE) consists of virtual machines (VMs) connected by a virtual network. It has been adopted to create “virtual infrastructures” for individual...
ICC
2009
IEEE
14 years 3 months ago
2009
IEEE
— High variability of access resources in heterogenous wireless networks and limited computing power and battery life of mobile computing devices such as smartphones call for nov...
ICSM
2009
IEEE
14 years 3 months ago
2009
IEEE
Dependence analysis underpins many activities in software maintenance such as comprehension and impact analysis. As a result, dependence has been studied widely for programming la...
TPHOL
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract. We present a comprehensive set of tactics that make it practical to use separation logic in a proof assistant. These tactics enable the verification of partial correctne...