247 search results - page 23 / 50 » Development graphs - Proof management for structured specifi... |
144
Voted
KDD
2005
ACM
16 years 4 months ago
2005
ACM
Heterogeneous data co-clustering has attracted more and more attention in recent years due to its high impact on various applications. While the co-clustering algorithms for two t...
141
Voted
DASC
2006
IEEE
15 years 7 months ago
2006
IEEE
Run-time monitoring is a powerful approach for dynamically detecting faults or malicious activity of software systems. However, there are often two obstacles to the implementation...
147
Voted
CMOT
2000
15 years 3 months ago
2000
Enterprise design knowledge is currently descriptive, ad hoc, or pre-scientific. One reason for this state of affairs in enterprise design is that existing approaches lack an adeq...
159
Voted
SCP
2010
14 years 10 months ago
2010
Current software development often relies on non trivial coordination logic for combining autonomous services, eventually running on different platforms. As a rule, however, such ...
137
Voted
SEMWEB
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Increasingly huge RDF data sets are being published on the Web. Currently, they use different syntaxes of RDF, contain high levels of redundancy and have a plain indivisi...