247 search results - page 37 / 50 » Development graphs - Proof management for structured specifi... |
IJON
2008
14 years 11 months ago
2008
In many computer vision tasks like face recognition and image retrieval, one is often confronted with high-dimensional data. Procedures that are analytically or computationally ma...
SWAP
2007
15 years 26 days ago
2007
Abstract. Ontologies are pervading many areas of knowledge representation and management. To date, most research efforts have been spent on the development of sufficiently express...
CORR
2004
Springer
14 years 11 months ago
2004
Springer
One of the main factors driving object-oriented software development for information systems is the requirement for systems to be tolerant to change. To address this issue in desig...
OOIS
1994
Springer
15 years 3 months ago
1994
Springer
The business of software development is solving problems. Following Polya, we can increase our ability to solve problems by focusing directly on problems themselves, on their part...
VAMOS
2010
Springer
15 years 1 months ago
2010
Springer
Revision control systems are a major means to manage versions and variants of today's software systems. An ongoing problem in these systems is how to resolve conflicts when me...