4335 search results - page 382 / 867 » Ontology Engineering Relationally |
192
click to vote
AGILEDC
2003
IEEE
16 years 1 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...
181
click to vote
FOSSACS
2001
Springer
16 years 5 days 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...
205
click to vote
TACS
2001
Springer
16 years 3 days 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...
178
click to vote
WER
1999
Springer
15 years 12 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...
181
click to vote
COMPSAC
1997
IEEE
15 years 12 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...