Sciweavers

4890 search results - page 794 / 978
» From system specifications to component behavioral models
Sort
View
FASE
2001
Springer
14 years 3 months ago
A CSP View on UML-RT Structure Diagrams
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,...
Clemens Fischer, Ernst-Rüdiger Olderog, Heike...
ICASSP
2011
IEEE
13 years 2 months ago
Score fusion and calibration in multiple language detectors with large performance variation
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 ...
Raymond W. M. Ng, Cheung-Chi Leung, Tan Lee, Bin M...
SP
1998
IEEE
173views Security Privacy» more  SP 1998»
14 years 3 months ago
An Automated Approach for Identifying Potential Vulnerabilities in Software
This paper presents results from analyzing the vulnerability of security-critical software applications to malicious threats and anomalous events using an automated fault injectio...
Anup K. Ghosh, Tom O'Connor, Gary McGraw
ATAL
2008
Springer
14 years 22 days ago
MADeM: a multi-modal decision making for social MAS
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...
Francisco Grimaldo, Miguel Lozano, Fernando Barber
CPHYSICS
2007
84views more  CPHYSICS 2007»
13 years 10 months ago
Simulating botulinum neurotoxin with constant pH molecular dynamics in Generalized Born implicit solvent
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...
Yongzhi Chen, Xin Chen, Yuefan Deng