2520 search results - page 149 / 504 » Model-checking behavioral programs |
187
click to vote
ARC
2008
Springer
15 years 7 months ago
2008
Springer
As embedded applications are getting more complex, they are also demanding highly diverse computational capabilities. The majority of all previously proposed reconfigurable archite...
150
click to vote
QEST
2007
IEEE
15 years 11 months ago
2007
IEEE
Among the many stages of a simulation study, debugging a simulation model is the one that is hardly reported on but that may consume a considerable amount of time and effort. In t...
112
click to vote
IWINAC
2005
Springer
15 years 10 months ago
2005
Springer
Many cells in the primary visual cortex respond differently when a stimulus is placed outside their classical receptive field (CRF) compared to the stimulus within the CRF alone,...
149
Voted
UML
2000
Springer
15 years 8 months ago
2000
Springer
In this paper, dynamic meta modeling is proposed as a new approach to the operational semantics of behavioral UML diagrams. The dynamic meta model extends the well-known static met...
121
Voted
CE
2007
15 years 5 months ago
2007
Adapting training methods to specific teacher traits to best facilitate the training effects for preservice teachers is an important, yet neglected, topic in aptitude-treatment in...