Sciweavers

1164 search results - page 89 / 233
» Using CBR for Semantic Analysis of Software Specifications
Sort
View
124
Voted
CAISE
2004
Springer
15 years 9 months ago
Ontologies for Analysis and Improvement of Business Process Quality in a Virtual Enterprise
The paper describes the representation and use of three ontologies in a software aiming at the assistance of a virtual team in business process analysis and improvement (BPI), usin...
Alexandra Galatescu, Taisia Greceanu
156
Voted
COMPSAC
2010
IEEE
15 years 1 months ago
A Consistency Model for Identity Information in Distributed Systems
In distributed IT systems, replication of information is commonly used to strengthen the fault tolerance on a technical level or the autonomy of an organization on a business level...
Thorsten Höllrigl, Jochen Dinger, Hannes Hart...
137
Voted
EUROMICRO
2003
IEEE
15 years 9 months ago
Object-Oriented Mutation to Asses the Quality of Tests
The quality of a test suite can be measured using mutation analysis. Groups of OO mutation operators are proposed for testing object-oriented features. The OO operators applied to...
Anna Derezinska
173
Voted
ERSHOV
2009
Springer
15 years 7 months ago
Anti-unification Algorithms and Their Applications in Program Analysis
A term t is called a template of terms t1 and t2 iff t1 = t1 and t2 = t2, for some substitutions 1 and 2. A template t of t1 and t2 is called the most specific iff for any template...
Peter E. Bulychev, Egor V. Kostylev, Vladimir A. Z...
139
Voted
ICECCS
1996
IEEE
109views Hardware» more  ICECCS 1996»
15 years 8 months ago
Dynamically Reconfigurable Embedded Software - Does It Make Sense?
A dynamically reconfigurable real-time software (DRRTS) paradigm can be used effectively in the design of embedded systems to provide many major advantages over conventional softw...
David B. Stewart, Gaurav Arora