88 search results - page 8 / 18 » Cycle Covering |
ICSE
2007
IEEE-ACM
14 years 1 months ago
2007
IEEE-ACM
Performance is a pervasive quality of software systems; everything affects it, from the software itself to all underlying layers, such as operating system, middleware, hardware, c...
FORTE
1998
13 years 9 months ago
1998
: In this paper a co-design methodology based on multiformalism modelling is presented. It defines a platform that integrates different notations and, the necessary mechanisms to h...
AVBPA
2003
Springer
13 years 11 months ago
2003
Springer
A method is presented for identifying individuals by shape, given a sequence of noisy silhouettes segmented from video. A spectral partitioning framework is used to cluster similar...
ICWS
2007
IEEE
13 years 9 months ago
2007
IEEE
Service-oriented environments facilitate dynamic processes whose properties can be altered during runtime. The transactional support of such processes holds specific requirements...
LMCS
2006
13 years 7 months ago
2006
This article establishes that the split decomposition of graphs introduced by Cunnigham, is definable in Monadic Second-Order Logic.This result is actually an instance of a more ge...