9507 search results - page 1682 / 1902 » Time-based language models |
160
click to vote
MPC
2010
Springer
15 years 9 months ago
2010
Springer
d Abstract) Jane Hillston Laboratory for Foundations of Computer Science, The University of Edinburgh, Scotland Quantitative Analysis Stochastic process algebras extend classical p...
151
Voted
ISSTA
2000
ACM
15 years 9 months ago
2000
ACM
Increasing numbers of software developers are using the Unified Modeling Language (UML) and associated visual modeling tools as a basis for the design and implementation of their ...
151
click to vote
PODC
1999
ACM
15 years 9 months ago
1999
ACM
The dynamically configurable distributed object (DCDO) model helps enable object evolution and facilitate the development of distributed objects from multiple independent implemen...
202
click to vote
ISCOPE
1999
Springer
15 years 9 months ago
1999
Springer
The concept of design patterns has recently emerged as a new paradigm in the context of object-oriented design methodology. Similar ideas are being explored in other areas of compu...
189
click to vote
FLOPS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Assertion-based contracts provide a powerful mechanism for stating invariants at module boundaries and for enforcing them uniformly. In 2002, Findler and Felleisen showed...