Sciweavers

2165 search results - page 341 / 433
» Cooperative Software Development: Concepts, Model and Tools
Sort
View
WSC
1998
15 years 7 months ago
Experience Using the IBM Supply Chain Simulator
The IBM Supply Chain Simulator (SCS) is a software tool that can help a company or a group of companies make strategic business decisions about the design and operation of its sup...
Sugato Bagchi, Stephen J. Buckley, Markus Ettl, Gr...
SAFECOMP
2007
Springer
16 years 14 days ago
Using Deductive Cause-Consequence Analysis (DCCA) with SCADE
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
Matthias Güdemann, Frank Ortmeier, Wolfgang R...
JSAC
2011
108views more  JSAC 2011»
15 years 1 months ago
A Model-Based Approach to Cognitive Radio Design
Abstract—Cognitive radio is a promising technology for fulfilling the spectrum and service requirements of future wireless communication systems. Real experimentation is a key f...
Jorg Lotze, Suhaib A. Fahmy, Juanjo Noguera, Linda...
ATVA
2005
Springer
202views Hardware» more  ATVA 2005»
15 years 12 months ago
Model Checking Real Time Java Using Java PathFinder
Abstract. The Real Time Specification for Java (RTSJ) is an augmentation of Java for real time applications of various degrees of hardness. The central features of RTSJ are real t...
Gary Lindstrom, Peter C. Mehlitz, Willem Visser
HICSS
2009
IEEE
106views Biometrics» more  HICSS 2009»
16 years 1 months ago
A Radical Approach to Network-on-Chip Operating Systems
Operating systems were created to provide multiple tasks with access to scarce hardware resources like CPU, memory, or storage. Modern programmable hardware, however, may contain ...
Michael Engel, Olaf Spinczyk