4890 search results - page 794 / 978 » From system specifications to component behavioral models |
143
click to vote
FASE
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. UML-RT is an extension of UML for modelling embedded reactive and real-time software systems. Its particular focus lies on system descriptions on the architectural level,...
165
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
In a large-scale language detection task, performance variation found between different component systems and different target languages has an adverse effect to the pooled error ...
143
click to vote
SP
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper presents results from analyzing the vulnerability of security-critical software applications to malicious threats and anomalous events using an automated fault injectio...
134
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
This paper presents MADeM, a multi-modal agent decision making to provide virtual agents with socially acceptable decisions. We consider multi-modal decisions as those that are ab...
130
click to vote
CPHYSICS
2007
15 years 3 months ago
2007
A new method was proposed by Mongan et al for constant pH molecular dynamics simulation and was implemented in AMBER 8 package. Protonation states are modeled with different char...