Sciweavers

5591 search results - page 433 / 1119
» Design patterns: between programming and software design
Sort
View
ECOOP
2004
Springer
16 years 8 days ago
Object Invariants in Dynamic Contexts
Abstract. Object invariants describe the consistency of object-oriented data structures and are central to reasoning about the correctness of object-oriented software. Yet, reasoni...
K. Rustan M. Leino, Peter Müller
LADS
2007
Springer
16 years 1 months ago
simpA: A Simple Agent-Oriented Java Extension for Developing Concurrent Applications
Abstract. More and more aspects of concurrency and concurrent programming are becoming part of mainstream programming and software engineering, as a result of several factors, such...
Alessandro Ricci, Mirko Viroli, Giulio Piancastell...
DLS
2008
165views Languages» more  DLS 2008»
15 years 8 months ago
Filtered dispatch
Predicate dispatching is a generalized form of dynamic dispatch, which has strong limitations when arbitrary predicates of the underlying base language are used. Unlike classes, w...
Pascal Costanza, Charlotte Herzeel, Jorge Vallejos...
NAR
2002
141views more  NAR 2002»
15 years 6 months ago
Co-expression pattern from DNA microarray experiments as a tool for operon prediction
The prediction of operons, the smallest unit of transcription in prokaryotes, is the first step towards reconstruction of a regulatory network at the whole genome level. Sequence ...
Chiara Sabatti, Lars Rohlin, Min-Kyu Oh, James C. ...
CBSE
2007
Springer
16 years 1 months ago
Soya: A Programming Model and Runtime Environment for Component Composition Using SSDL
Abstract. The SOAP Service Description Language (SSDL) is a SOAPcentric language for describing Web Service contracts. SSDL focuses on abstraction as the building block for creatin...
Patric Fornasier, Jim Webber, Ian Gorton