1146 search results - page 141 / 230 » Formal Specification Generation from Requirement Documents |
CAISE
2000
Springer
15 years 2 months ago
2000
Springer
Process know-how is instrumental to govern engineering processes in a network of engineering departments as well as migrate changes of processes due to emerging technological or ot...
BTW
2009
Springer
15 years 4 months ago
2009
Springer
: The interdisciplinary ViFaChem II project aims at providing a chemical digital library infrastructure for creating personalized information spaces. The value added services and s...
ICML
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper addresses the problem of finding a small and coherent subset of points in a given data. This problem, sometimes referred to as one-class or set covering, requires to fi...
ER
2007
Springer
15 years 4 months ago
2007
Springer
Provability-based semantic interoperability (PBSI) is a kind of interoperability that transcends mere syntactic translation to allow for robust, meaningful information exchange acr...
PODS
2003
ACM
15 years 10 months ago
2003
ACM
The emerging paradigm of electronic services promises to bring to distributed computation and services the flexibility that the web has brought to the sharing of documents. An und...