Sciweavers

5984 search results - page 180 / 1197
» The Informal Nature of Systems Engineering
Sort
View
WADT
1998
Springer
15 years 10 months ago
Moving Specification Structures Between Logical Systems
Abstract. The conditions under which a formal system for reasoning about structural specifications, built over one logical system could be reused for reasoning about structured spe...
Tomasz Borzyszkowski
ITNG
2010
IEEE
15 years 11 months ago
Provenance Collection in Reservoir Management Workflow Environments
There has been a recent push towards applying information technology principles, such as workflows, to bring greater efficiency to reservoir management tasks. These workflows are d...
Fan Sun, Jing Zhao, Karthik Gomadam, Viktor K. Pra...
SEKE
2007
Springer
16 years 19 days ago
On Modern Debugging For Rule-Based Systems
With the growing interest in rule languages in the Semantic Web and the Business Rule community it is time to look again at the issue of debugging rule bases. New challenges have ...
Valentin Zacharias, Andreas Abecker
IASTEDSE
2004
15 years 8 months ago
Using application domain ontology to construct an initial system model
This paper describes a case study on application of natural language processing in very early stages of the requirements engineering. In our previous work [7] we have shown how na...
Leonid Kof
ISMIS
2005
Springer
16 years 20 hour ago
Getting Computers to See Information Graphics So Users Do Not Have to
Abstract. Information graphics such as bar, line and pie charts appear frequently in electronic media and often contain information that is not found elsewhere in documents. Unfort...
Daniel Chester, Stephanie Elzer