1395 search results - page 110 / 279 » Incremental Construction Approach for Distributed System Spe... |
EDOC
2000
IEEE
15 years 2 months ago
2000
IEEE
This paper introduces the Ponder language for specifying distributed object enterprise concepts. Ponder, is a declarative language, which permits the specification of policies in ...
KDD
2009
ACM
15 years 10 months ago
2009
ACM
This paper addresses the issue of unsupervised network anomaly detection. In recent years, networks have played more and more critical roles. Since their outages cause serious eco...
133
click to vote
CLADE
2008
IEEE
15 years 4 months ago
2008
IEEE
With the exponential growth of complete genome sequences, the analysis of these sequences is becoming a powerful approach to build genome-scale metabolic models. These models can ...
86
Voted
CORR
2006
Springer
14 years 10 months ago
2006
Springer
We describe several technical tools that prove to be efficient for investigating the rewrite systems associated with an equational specification. These tools consist in introducing...
108
Voted
NBIS
2010
Springer
14 years 8 months ago
2010
Springer
A new ontology-supported and hybrid recommending information system for scholars was proposed. Not only can it fast integrate specific domain documents, but also it can extract imp...