247 search results - page 14 / 50 » Development graphs - Proof management for structured specifi... |
COMSIS
2010
14 years 9 months ago
2010
The concept of complexity is used in many areas of computer science and software engineering. Software complexity metrics can be used to evaluate and compare quality of software de...
HICSS
2007
IEEE
15 years 6 months ago
2007
IEEE
The derivation of specific models from reference models corresponds with the creation of reference model variants. Research on the design of such variant constructions generally a...
JSW
2008
14 years 11 months ago
2008
The central idea in reference modeling is the reutilization of the business knowledge contained in a reference model. The user's task in reference model-based construction is ...
106
click to vote
KDD
2009
ACM
16 years 7 days ago
2009
ACM
Our dynamic graph-based relational mining approach has been developed to learn structural patterns in biological networks as they change over time. The analysis of dynamic network...
WEBI
2010
Springer
14 years 9 months ago
2010
Springer
Mobile is becoming a ubiquitous platform for context-aware intelligent computing. One fundamental but usually ignored issue is how to efficiently manage (e.g., index and query) the...