1679 search results - page 171 / 336 » Strong order equivalence |
TOOLS
1999
IEEE
14 years 1 months ago
1999
IEEE
In spite of the intense efforts of metrics researches, the impact of object-oriented software metrics is for the moment still quite reduced. The cause of this fact lies not in an ...
TABLEAUX
1998
Springer
14 years 1 months ago
1998
Springer
The methodology of fibring is a successful framework for combining logical systems based on combining their semantics. In this paper, we extend the fibring approach to calculi for ...
ICPP
1990
IEEE
14 years 1 months ago
1990
IEEE
A model for shared-memory systems commonly (and often implicitly) assumed by programmers is that of sequential consistency. For implementing sequential consistency in a cache-base...
AGILEDC
2004
IEEE
2004
IEEE
Aligning Strategic Planning with Agile Development: Extending Agile Thinking to Business Improvement
14 years 23 days ago
Many development teams have successfully used Agile Development to build quality software, but often these projects have failed to effectively contribute to overall company succes...
IRCDL
2010
13 years 10 months ago
2010
Abstract. In the music field, an open issue is represented by the creation of innovative tools for acquisition, preservation and sharing of information. The strong difficulties in ...