7206 search results - page 382 / 1442 » Using a Hypermedia System for Systems Engineering |
171
click to vote
ICFEM
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. We present a correctness proof for a basic file system implementation. This implementation contains key elements of standard Unix file systems such as inodes and fixed...
158
click to vote
EDBT
2009
ACM
15 years 11 months ago
2009
ACM
Decision Support Systems (DSS) are information systems that support decision making processes. In many scenarios these systems are built on top of data managed by DBMSs and make e...
199
click to vote
ICCAD
2007
IEEE
15 years 10 months ago
2007
IEEE
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...
191
click to vote
IEEEARES
2007
IEEE
16 years 1 months ago
2007
IEEE
Model-based development has become state of the art in software engineering. A number of tools, like Matlab/Simulink or SCADE, are available for the automatic generation of applic...
142
click to vote
ECML
2003
Springer
15 years 12 months ago
2003
Springer
In this paper we show how to learn rules to improve the performance of a machine translation system. Given a system consisting of two translation functions (one from language A to ...