3091 search results - page 188 / 619 » The Microsoft Relational Engine |
142
click to vote
APSEC
2002
IEEE
15 years 11 months ago
2002
IEEE
Software development needs to be supported at both the organisational process level (programming-for-thelarge) and the detailed coding level (programming-for-thesmall). It is crit...
132
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
Component platforms play a major role in current distributed information systems. As these systems evolve, components need to be upgraded without breaking the consistency of compo...
142
click to vote
PROFES
2001
Springer
15 years 11 months ago
2001
Springer
Many small and medium-sized companies that develop software experience the same problems repeatedly, and have few systems in place to learn from their own mistakes as well as their...
167
click to vote
WADT
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We consider the verification of a simple pipelined microprocessor in Maude, by implementing an equational theoretical model of systems. Maude is an equationally-based la...
175
click to vote
AMAST
2000
Springer
15 years 11 months ago
2000
Springer
The behavior of reactive systems is typically speci ed by state machines. This results in an operational description of how a system its output. An alternative and more abstract ap...