1804 search results - page 99 / 361 » On set systems with a threshold property |
183
click to vote
CAISE
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we present a heuristic approach for finding errors and possible improvements in business process models. First, we translate the information that is included in a m...
174
click to vote
CIKM
2004
Springer
16 years 2 days ago
2004
Springer
Swoogle is a crawler-based indexing and retrieval system for the Semantic Web documents – i.e., RDF or OWL documents. It analyzes the documents it discovered to compute useful m...
158
click to vote
ATAL
2003
Springer
15 years 12 months ago
2003
Springer
This paper introduces a methodology to help the programmer in the transition from a set of desired global properties expressed as an equation-based model (EBM) that a Multi-Agent ...
179
click to vote
GLOBECOM
2010
IEEE
15 years 4 months ago
2010
IEEE
As the date rates and bandwidths of communication systems scale up, the cost and power consumption of highprecision (e.g., 8-12 bits) analog-to-digital converters (ADCs) become pro...
155
click to vote
JSC
2010
15 years 5 months ago
2010
In this paper we deal with the verification of safety properties of infinite-state systems modeled by term-rewriting systems. An over-approximation of the set of reachable terms...