10916 search results - page 1875 / 2184 » On Constructive Connectives and Systems |
180
click to vote
MODELS
2007
Springer
16 years 26 days ago
2007
Springer
This report summarizes the results and discussions from the 11th Workshop on Aspect-Oriented Modeling (AOM). The workshop was held in conjunction with the International Conference ...
176
click to vote
NLDB
2007
Springer
16 years 26 days ago
2007
Springer
Various methodologies for structuring the process of domain modeling have been proposed, but there are few software tools that provide automatic support for the process of construc...
149
click to vote
OOPSLA
2007
Springer
16 years 26 days ago
2007
Springer
Ownership domain annotations express and enforce design intent related to object encapsulation and communication directly in real object-oriented code. First, this work will make ...
193
click to vote
OOPSLA
2007
Springer
16 years 26 days ago
2007
Springer
We apply speculative multithreading to sequential Java programs in software to achieve speedup on existing multiprocessors. A common speculation library supports both Java bytecod...
170
click to vote
RE
2007
Springer
16 years 25 days ago
2007
Springer
Customer-reported field failures provide valuable information for the requirements of the next release. Without a systematic approach, the requirements of the next release may not...