Sciweavers

496 search results - page 58 / 100
» Modular Ontologies for Architectural Design
Sort
View
DS
2001
143views Database» more  DS 2001»
13 years 10 months ago
WebSifter: An Ontological Web-Mining Agent for E-Business
: The World Wide Web provides access to a great deal of information on a vast array of subjects. A user can begin a search for information by selecting a Web page and following the...
Anthony Scime, Larry Kerschberg
PRDC
2007
IEEE
14 years 3 months ago
Model Based Development of Safety-Critical Systems Using Template Based Code Generation
Model-based development is state of the art in software engineering, due to its potential regarding automatic code synthesis. Nevertheless for embedded systems, where there exists...
Matthias Regensburger, Christian Buckl, Alois Knol...
JSAT
2010
87views more  JSAT 2010»
13 years 3 months ago
The Sat4j library, release 2.2
Sat4j is a mature, open source library of SAT-based solvers in Java. It provides a modular SAT solver architecture designed to work with generic constraints. Such architecture is ...
Daniel Le Berre, Anne Parrain
APCSAC
2006
IEEE
14 years 2 months ago
Reorganizing UNIX for Reliability
In this paper, we discuss the architecture of a modular UNIX-compatible operating system, MINIX 3, that provides reliability beyond that of most other systems. With nearly the ent...
Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Ho...
OOPSLA
2004
Springer
14 years 2 months ago
Resolving feature convolution in middleware systems
Middleware provides simplicity and uniformity for the development of distributed applications. However, the modularity of the architecture of middleware is starting to disintegrat...
Charles Zhang, Hans-Arno Jacobsen