Sciweavers

2154 search results - page 314 / 431
» Evidence-based software production
Sort
View
77
Voted
ECBS
2007
IEEE
135views Hardware» more  ECBS 2007»
15 years 5 months ago
COTS Selection: Past, Present, and Future
Commercial Off-The-Shelf (COTS) products are increasingly being used in software development. In COTS-based development, selecting appropriate COTS is the most crucial phase. This...
Abdallah Mohamed, Günther Ruhe, Armin Eberlei...
IAT
2007
IEEE
15 years 5 months ago
Reactive Agent Mechanisms for Manufacturing Process Control
In this paper we face a problem for chemical processes in a production system; items should undergo chemical reactions in different baths to be processed by the system. Recipes f...
Kasper Hallenborg, Ask Just Jensen, Yves Demazeau
IEEECIT
2007
IEEE
15 years 5 months ago
A Visual Modeling Environment for Embedded Component Systems
This paper proposes a new visual modeling environment for embedded component systems that improves the productivity of application developers. This embedded component system decre...
Takuya Azumi, Shimpei Yamada, Hiroshi Oyama, Yukik...
FMICS
2007
Springer
15 years 5 months ago
Checking the TWIN Elevator System by Translating Object-Z to SMV
In the context of large scale industrial installations, model checking often fails to tap its full potential because of a missing link between a system’s specification and its f...
Sören Preibusch, Florian Kammüller
OTM
2007
Springer
15 years 5 months ago
An Evaluation of Triple-Store Technologies for Large Data Stores
Abstract. This paper presents a comparison of performance of various triplestore technologies currently in either production release or beta test. Our comparison of triple-store te...
Kurt Rohloff, Mike Dean, Ian Emmons, Dorene Ryder,...