Sciweavers

10406 search results - page 360 / 2082
» Using RDF to Model the Structure and Process of Systems
Sort
View
FCS
2006
15 years 6 months ago
Algorithmic Control in Concurrent Computations
: In this paper, functioning and interaction of distributed devices and concurrent algorithms are analyzed in the context of the theory of algorithms. Although different systems in...
Mark Burgin
VALUETOOLS
2006
ACM
164views Hardware» more  VALUETOOLS 2006»
15 years 10 months ago
Analysis of Markov reward models using zero-suppressed multi-terminal BDDs
High-level stochastic description methods such as stochastic Petri nets, stochastic UML statecharts etc., together with specifications of performance variables (PVs), enable a co...
Kai Lampka, Markus Siegle
ICCS
2003
Springer
15 years 10 months ago
A Method of Hidden Markov Model Optimization for Use with Geophysical Data Sets
Geophysics research has been faced with a growing need for automated techniques with which to process large quantities of data. A successful tool must meet a number of requirements...
Robert A. Granat
UML
2004
Springer
15 years 10 months ago
Test Driven Development of UML Models with SMART Modeling System
Abstract. We are developing a methodology of Test-Driven Development of Models (TDDM) based on an experimental UML2.0 modeling tool SMART. Our experience shows that TDDM is quite u...
Susumu Hayashi, Pan YiBing, Masami Sato, Kenji Mor...
HICSS
2003
IEEE
202views Biometrics» more  HICSS 2003»
15 years 10 months ago
Adoption Process of Upgrading Software: An Empirical Study of Windows XP
There are many studies in Information Systems on the adoption of new innovations. This paper, on the other hand, presents the findings of an empirical study, which explores factor...
Michael C. L. Lai, Susanna S. Y. Ho, Wendy W. Y. H...