Sciweavers

3514 search results - page 144 / 703
» Software Process Modeling: Principles of Entity Process Mode...
Sort
View
70
Voted
ICALT
2005
IEEE
15 years 7 months ago
Phoenix Tool: A Support to Semantic Learning Model
Share and reuse of learning objects are an important issue, that are not solved by simply adding a metadata description. Their contextualisation as well as their level of granular...
Emmanuel Fernandes, Hend Madhour, Sami Miniaoui, M...
HCI
2009
14 years 11 months ago
Partially Observable Markov Decision Process (POMDP) Technologies for Sign Language Based Human-Computer Interaction
Sign language (SL) recognition modules in human-computer interaction systems need to be both fast and reliable. In cases where multiple sets of features are extracted from the SL d...
Sylvie C. W. Ong, David Hsu, Wee Sun Lee, Hanna Ku...
KBSE
2007
IEEE
15 years 8 months ago
Adaptation hiding modularity
Growth in the complexity of computing systems, in the dynamism of the environments they operate in, and the need for timely adaptations as conditions change, now pose significant...
Yuanyuan Song
SAFECOMP
1998
Springer
15 years 5 months ago
Safety Verification of Software Using Structured Petri Nets
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
Krzysztof Sacha
INFORMS
1998
142views more  INFORMS 1998»
15 years 1 months ago
Distributed State Space Generation of Discrete-State Stochastic Models
High-level formalisms such as stochastic Petri nets can be used to model complex systems. Analysis of logical and numerical properties of these models often requires the generatio...
Gianfranco Ciardo, Joshua Gluckman, David M. Nicol