Sciweavers

3376 search results - page 350 / 676
» Analyzing Software Evolvability
Sort
View
CAISE
2009
Springer
15 years 11 months ago
Incremental Detection of Model Inconsistencies Based on Model Operations
Due to the increasing use of models, and the inevitable model inconsistencies that arise during model-based software development and evolution, model inconsistency detection is gai...
Xavier Blanc, Alix Mougenot, Isabelle Mounier, Tom...
ADBIS
2001
Springer
112views Database» more  ADBIS 2001»
15 years 11 months ago
Detecting Termination of Active Database Rules Using Symbolic Model Checking
One potential problem of active database applications is the non-termination of rules. Although algorithms have been proposed to detect non-termination, almost all provide a conser...
Indrakshi Ray, Indrajit Ray
155
Voted
VLDB
2001
ACM
110views Database» more  VLDB 2001»
15 years 11 months ago
Warehousing Workflow Data: Challenges and Opportunities
Workflow management systems (WfMSs) are software platforms that allow the definition, execution, monitoring, and management of business processes. WfMSs log every event that occur...
Angela Bonifati, Fabio Casati, Umeshwar Dayal, Min...
RAS
2000
135views more  RAS 2000»
15 years 6 months ago
Development of the ring sensor for healthcare automation
This paper presents the development of a miniaturized telemetered ambulatory monitoring device in a ring configuration. The device, called ring sensor, is worn by the patient at a...
Boo-Ho Yang, Sokwoo Rhee
SIGSOFT
2005
ACM
16 years 7 months ago
ASTEC: a new approach to refactoring C
The C language is among the most widely used in the world, particularly for critical infrastructure software. C programs depend upon macros processed using the C preprocessor, but...
Bill McCloskey, Eric A. Brewer