2819 search results - page 122 / 564 » Associative Omega-product of Processes |
181
click to vote
AUSDM
2006
Springer
15 years 10 months ago
2006
Springer
Data mining is playing an important role in decision making for business activities and governmental administration. Since many organizations or their divisions do not possess the...
182
click to vote
FATES
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We propose a syntax-driven test generation technique to auly derive abstract test cases from a set of requirements expressed in a linear temporal logic. Assuming that an ...
187
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
The IST-CONTRACT project is in the process of creating an electronic contracting language. One of the goals of this language is that it has formal underpinnings, and formalization...
146
click to vote
WSC
1998
15 years 7 months ago
1998
ON MODELING AT MULTIPLE LEVELS OF ABSTRACTION Perakath Benjamin Madhav Erraguntla Dursun Delen Richard Mayer Knowledge Based Systems, Inc. 1408 University Drive College Station, Te...
158
click to vote
CORR
2006
Springer
15 years 6 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...