4360 search results - page 740 / 872 » Socio-technical systems: From design methods to systems engi... |
88
Voted
ICSM
2008
IEEE
15 years 7 months ago
2008
IEEE
Code clones are similar program structures recurring in software systems. Clone detectors produce much information and a challenge is to identify useful clones depending on the go...
112
Voted
CLEF
2007
Springer
15 years 7 months ago
2007
Springer
This paper describes the participation of MIRACLE research consortium at the ImageCLEF Photographic Retrieval task of ImageCLEF 2007. For this campaign, the main purpose of our ex...
90
Voted
VMCAI
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Several verification methods involve reasoning about multi-valued systems, in which an atomic proposition is interpreted at a state as a lattice element, rather than a B...
110
Voted
EMSOFT
2004
Springer
15 years 6 months ago
2004
Springer
We present a technique to approximate the worst-case execution time that combines structural analysis with a loop-bounding algorithm based on local induction variable analysis. St...
126
Voted
DEXAW
1999
IEEE
15 years 5 months ago
1999
IEEE
The process of managing inconsistency is a fundamental activity that permeates a large part of the systems development process. Failure to identify inconsistencies may lead to maj...