1613 search results - page 228 / 323 » Model-Driven Constraint Engineering |
170
click to vote
EDBTW
2004
Springer
15 years 11 months ago
2004
Springer
In this paper, we aim to develop a framework for continuous query processing in spatio-temporal databases. The proposed framework distinguishes itself from other query processors b...
132
click to vote
AGILEDC
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper documents a successful implementation of agile at a major telecommunications firm. Critical aspects to mention about this particular software endeavor include a) this c...
152
click to vote
CODES
2003
IEEE
15 years 11 months ago
2003
IEEE
Current methods cannot synthesize real-time embedded software applications when the global deadline of a task is shorter than the total of all local deadlines along a critical pat...
153
click to vote
COMPSAC
2003
IEEE
15 years 11 months ago
2003
IEEE
Usual techniques for automatic test data generation are based on the assumption that a complete oracle will be available during the testing process. However, there are programs fo...
173
click to vote
ICSM
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper is a summary of the author’s thesis that presents a model and an environment for recovering the high level design of legacy software systems based on user defined ar...