Sciweavers

975 search results - page 112 / 195
» Applying Patterns during Business Process Modeling
Sort
View
SIGOPS
2008
141views more  SIGOPS 2008»
13 years 10 months ago
Using model checkers in an introductory course on operating systems
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...
Roelof Hamberg, Frits W. Vaandrager
IJCAI
1989
13 years 11 months ago
Integrating Knowledge-Based System and Neural Network Techniques for Robotic Skill Acquisition
This paper describes an approach to robotic control that is patterned after models of human skill acquisition. The intent is to develop robots capable of learning how to accomplis...
David Handelman, Stephen Lane, Jack Gelfand
ICANN
2010
Springer
13 years 10 months ago
On the Fringe of Awareness: The Glance-Look Model of Attention-Emotion Interactions
In previous work, we have developed a "Glance-Look" model, which has replicated a broad profile of data on the semantic Attentional Blink (AB) task and characterized how ...
Li Su, Philip Barnard, Howard Bowman
SIGSOFT
2005
ACM
14 years 10 months ago
Towards a unified formal model for supporting mechanisms of dynamic component update
The continuous requirements of evolving a delivered software system and the rising cost of shutting down a running software system are forcing researchers and practitioners to fin...
Junrong Shen, Xi Sun, Gang Huang, Wenpin Jiao, Yan...
BMCBI
2010
259views more  BMCBI 2010»
13 years 5 months ago
Rule-based spatial modeling with diffusing, geometrically constrained molecules
Background: We suggest a new type of modeling approach for the coarse grained, particle-based spatial simulation of combinatorially complex chemical reaction systems. In our appro...
Gerd Gruenert, Bashar Ibrahim, Thorsten Lenser, Ma...