247 search results - page 5 / 50 » Development graphs - Proof management for structured specifi... |
CSUR
2008
14 years 9 months ago
2008
on the methodologies and processes, but instead provide an abstract and structured description in a way that facilitates their elaborate analysis for the purposes of improving unde...
58
Voted
IJWBC
2006
14 years 9 months ago
2006
: The experiences with the new ICTP website, aiming to satisfy the need for a modern and appealing image, as well as provide tailored online information and services to its scienti...
VLDB
2002
ACM
14 years 9 months ago
2002
ACM
All existing proposals for querying XML (e.g., XQuery) rely on a pattern-specification language that allows (1) path navigation and branching through the label structure of the XM...
KDD
2004
ACM
15 years 10 months ago
2004
ACM
Existing data mining algorithms on graphs look for nodes satisfying specific properties, such as specific notions of structural similarity or specific measures of link-based impor...
EUROMICRO
1999
IEEE
15 years 1 months ago
1999
IEEE
Short development life cycles, the importance of timeto-market and fast changes in technology influence the requirements engineering process. Requirements are exposed to changes d...