4919 search results - page 881 / 984 » A Process-Ontological Model for Software Engineering |
111
Voted
CCE
2004
15 years 3 months ago
2004
Design process excellence is considered a major differentiating factor between competing enterprises since it determines the constraints within which plant operation and supply ch...
122
Voted
CCE
2004
15 years 3 months ago
2004
Following from part I, which presents a retrospective on optimization, we focus here on areas that are recent active research topics and are likely to strongly influence the futur...
144
click to vote
SEMWEB
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Ontologies are used for sharing information and are often collaboratively developed. They are adapted for different applications and domains resulting in multiple version...
114
Voted
ENTCS
2010
15 years 26 days ago
2010
d Set Abstraction using SAT Edd Barrett Andy King School of Computing, University of Kent, CT2 7NF, UK Symbolic decision trees are not the only way to correlate the relationship b...
137
Voted
ENTCS
2010
15 years 26 days ago
2010
We present MLSolver, a tool for solving the satisfiability and validity problems for modal fixpoint logics. The underlying technique is based on characterisations of satisfiabilit...