113 search results - page 23 / 23 » Efficient mapping of software system traces to architectural... |
CDVE
2007
Springer
13 years 11 months ago
2007
Springer
In order to build complex, large-scale, dependable systems it is necessary to use a development environment with an integrated set of capabilities that supports editing and formal...
COOPIS
2002
IEEE
13 years 9 months ago
2002
IEEE
This paper presents a specifically database-inspired approach (called DOGMA) for engineering formal ontologies, implemented as shared resources used to express agreed formal semant...
WWW
2005
ACM
14 years 5 months ago
2005
ACM
We offer the first large-scale analysis of Web traffic based on network flow data. Using data collected on the Internet2 network, we constructed a weighted bipartite clientserver ...