3091 search results - page 167 / 619 » The Microsoft Relational Engine |
165
click to vote
AGILEDC
2003
IEEE
15 years 11 months ago
2003
IEEE
In this experience report, a programmer at a medium-sized software company explains his tactics for bottom-up organizational change. The tactics are accompanied by personal recoll...
164
click to vote
FOSSACS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Among the branching-time temporal logics used for the specification and verification of systems, CTL+ , FCTL and ECTL+ are the most notable logics for which the precise...
180
click to vote
TACS
2001
Springer
15 years 11 months ago
2001
Springer
Lossy channel systems are systems of finite state automata that communicate via unreliable unbounded fifo channels. Today the main open question in the theory of lossy channel sy...
148
click to vote
WER
1999
Springer
15 years 10 months ago
1999
Springer
We present the overall design of an object-oriented library for use when developing tracing capable applications. The library is implemented as java classes and consists of de niti...
152
click to vote
COMPSAC
1997
IEEE
15 years 10 months ago
1997
IEEE
Patterns are investigated in relation to development of applications and frameworks in the context of analysis, design, and implementation. The results are based on a framework fo...