4890 search results - page 794 / 978 » From system specifications to component behavioral models |
FASE
2001
Springer
14 years 3 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,...
ICASSP
2011
IEEE
13 years 2 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 ...
SP
1998
IEEE
14 years 3 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...
ATAL
2008
Springer
14 years 22 days 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...
CPHYSICS
2007
13 years 10 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...