1700 search results - page 287 / 340 » Specifying and implementing refactorings |
147
click to vote
WLP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Meta-S is a constraint solver cooperation system which allows the dynamic integration of arbitrary external (stand-alone) solvers and their combination with declarative l...
148
click to vote
PLDI
2004
ACM
15 years 9 months ago
2004
ACM
The design of concurrent programs is error-prone due to the interaction between concurrently executing threads. Traditional automated techniques for finding errors in concurrent ...
135
click to vote
OOPSLA
2004
Springer
15 years 9 months ago
2004
Springer
Predicate dispatch is an object-oriented (OO) language mechanism for determining the method implementation to be invoked upon a message send. With predicate dispatch, each method ...
147
click to vote
COOPIS
2003
IEEE
15 years 9 months ago
2003
IEEE
Ontologies as means for formally specifying the vocabulary and relationship of concepts are seen playing a key role on the Semantic Web. However, the Web’s distributed nature mak...
145
click to vote
EDOC
2003
IEEE
15 years 9 months ago
2003
IEEE
Distributed systems are inherently complex, and therefore difficult to design and develop. Experience shows that new technologies—such as components, aspects, and application f...