3091 search results - page 348 / 619 » The Microsoft Relational Engine |
163
click to vote
IWPC
2006
IEEE
16 years 20 days ago
2006
IEEE
Object-oriented legacy systems are hard to maintain because they are hard to understand. One of the main understanding problems is revealed by the so-called ”yo-yo effect” tha...
159
click to vote
KBSE
2006
IEEE
16 years 20 days ago
2006
IEEE
A software system interacts with its environment through system interfaces. Robustness of software systems are governed by various temporal properties related to these interfaces,...
188
click to vote
SCAM
2006
IEEE
16 years 20 days ago
2006
IEEE
Many software systems are mixed-language systems today, i.e., they bind together components defined in different programming and specification languages. Analyses and refactorin...
162
click to vote
SEFM
2006
IEEE
16 years 20 days ago
2006
IEEE
We present an operational model for describing random reactive systems. Some models have already been proposed for this purpose, but they generally aim at performing global reason...
172
click to vote
SEFM
2006
IEEE
16 years 20 days ago
2006
IEEE
The key to many approaches to reason about pointerbased data structures is the availability of a decision procedure to automatically discharge proof obligations in a theory encomp...