Sciweavers

3451 search results - page 128 / 691
» The Architecture and Implementation of Resource Space Model ...
Sort
View
IRREGULAR
1997
Springer
15 years 2 months ago
Parallel Shared-Memory State-Space Exploration in Stochastic Modeling
Stochastic modeling forms the basis for analysis in many areas, including biological and economic systems, as well as the performance and reliability modeling of computers and comm...
Susann C. Allmaier, Graham Horton
EMSOFT
2006
Springer
15 years 1 months ago
Real-time interfaces for composing real-time systems
Recently, a number of frameworks were proposed to extend interface theory to the domains of single-processor and distributed real-time systems. This paper unifies some of these ap...
Lothar Thiele, Ernesto Wandeler, Nikolay Stoimenov
TSE
2010
123views more  TSE 2010»
14 years 4 months ago
Directed Explicit State-Space Search in the Generation of Counterexamples for Stochastic Model Checking
Current stochastic model checkers do not make counterexamples for property violations readily available. In this paper we apply directed explicit state space search to discrete- a...
Husain Aljazzar, Stefan Leue
LREC
2010
159views Education» more  LREC 2010»
14 years 11 months ago
A Snack Implementation and Tcl/Tk Interface to the Fundamental Frequency Variation Spectrum Algorithm
Intonation is an important aspect of vocal production, used for a variety of communicative needs. Its modeling is therefore crucial in many speech understanding systems, particula...
Kornel Laskowski, Jens Edlund
ENGL
2006
87views more  ENGL 2006»
14 years 10 months ago
Multiagent Web based Decision Support Systems for Global Enterprises: An Architectural Blueprint
Financial institutions are striving to maximize benefits from the emerging digital economy. However, the decision to take such an investment option is contingent upon the "pr...
Tagelsir Mohamed Gasmelseid