4870 search results - page 360 / 974 » Challenges of component-based development |
157
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
We present a supply-chain management system that supports transportation of cargo containers and monitors the quality of control during transport. Our system primarily focuses on ...
131
click to vote
ESWS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Finding the optimal selection of an OWL reasoner and service interface for a specific ontology-based application is challenging. Over time it has become more and more di...
126
click to vote
FM
2009
Springer
15 years 11 months ago
2009
Springer
We examine the the industrial application of formal methods using data gathered in a review of 62 projects taking place over the last 25 years. The review suggests that formal meth...
148
click to vote
FMICS
2009
Springer
15 years 11 months ago
2009
Springer
Cell libraries often contain a simulation model in a system design language, such as Verilog. These languages usually involve nondeterminism, which in turn, poses a challenge to th...
139
Voted
FROCOS
2009
Springer
15 years 11 months ago
2009
Springer
In an attempt to improve automation capabilities in the Coq proof assistant, we develop a tactic for the propositional fragment based on the DPLL procedure. Although formulas natur...