4360 search results - page 740 / 872 » Socio-technical systems: From design methods to systems engi... |
156
click to vote
ICSM
2008
IEEE
16 years 26 days 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...
177
click to vote
CLEF
2007
Springer
16 years 19 days 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...
156
click to vote
VMCAI
2007
Springer
16 years 17 days 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...
181
click to vote
EMSOFT
2004
Springer
15 years 12 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...
193
click to vote
DEXAW
1999
IEEE
15 years 10 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...