6704 search results - page 647 / 1341 » Testing Scenario-Based Models |
193
click to vote
ITP
2010
15 years 11 months ago
2010
Abstract. This paper presents a new HOL4 formalization of the current ARM instruction set architecture, ARMv7. This is a modern RISC architecture with many advanced features. The f...
182
click to vote
ATAL
2006
Springer
15 years 11 months ago
2006
Springer
Being able to realistically simulate humans in emergency response activities is a key challenge for advancing the field of information technology for emergency response. Building ...
196
click to vote
CMSB
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. This paper presents a method for regulatory network reconstruction from experimental data. We propose a mathematical model for regulatory interactions, based on the work ...
203
click to vote
COORDINATION
2006
Springer
15 years 11 months ago
2006
Springer
How to coordinate the processes in a complex component-based software system is a nontrivial issue. Many different coordination approaches exist, each with its own specific advanta...
207
click to vote
EVOW
2006
Springer
15 years 11 months ago
2006
Springer
In this paper we propose the use of an interactive multi-agent system for the study of rhythm evolution. The aim of the model proposed here is to show to what extent new rhythms em...