3432 search results - page 436 / 687 » Model Development in the UML-based Specification Environment... |
178
click to vote
ENTCS
2006
15 years 6 months ago
2006
This paper presents VyrdMC, a runtime verification tool we are building for concurrent software components. The correctness criterion checked by VyrdMC is refinement: Each executi...
186
click to vote
CSSE
2004
IEEE
15 years 6 months ago
2004
IEEE
Even though the final objective of an access control model is to provide a framework to decide if actions performed by subjects on objects are permitted or not, it is not convenie...
206
click to vote
ICCS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. A framework for a fully implicit solution method is implemented into (1) the High Order Methods Modeling Environment (HOMME), which is a spectral element dynamical core o...
193
click to vote
ASPLOS
2010
ACM
15 years 11 months ago
2010
ACM
Heterogeneous systems, systems with multiple processors tailored for specialized tasks, are challenging programming environments. While it may be possible for domain experts to op...
163
click to vote
NN
2008
Springer
15 years 6 months ago
2008
Springer
Currently, there is a lack of general-purpose in-place learning networks that model feature layers in the cortex. By "general-purpose" we mean a general yet adaptive hig...