Sciweavers

2638 search results - page 367 / 528
» Frameworks for Reasoning about Agent Based Systems
Sort
View
ECBS
2007
IEEE
155views Hardware» more  ECBS 2007»
16 years 24 days ago
Integrating Security Modeling into Embedded System Design
There is an ever increasing concern about security threats as embedded systems are moving towards networked applications. Model based approaches have proven to be effective techni...
Matthew Eby, Jan Werner, Gabor Karsai, Ákos...
AAAI
1998
15 years 7 months ago
Automated Intelligent Pilots for Combat Flight Simulation
TacAir-Soar is an intelligent, rule-based system that generates believable human-like" behavior for military simulations. The innovation of the application is primarily a mat...
Randolph M. Jones, John E. Laird, Paul E. Nielsen
SRDS
2007
IEEE
16 years 22 days ago
Evaluating Byzantine Quorum Systems
Replication is a mechanism extensively used to guarantee the availability and good performance of data storage services. Byzantine Quorum Systems (BQS) have been proposed as a sol...
Wagner Saback Dantas, Alysson Neves Bessani, Joni ...
CSL
2008
Springer
15 years 6 months ago
Applying an analysis of acted vocal emotions to improve the simulation of synthetic speech
: All speech produced by humans includes information about the speaker, including conveying the emotional state of the speaker. It is thus desirable to include vocal affect in any ...
Iain R. Murray, John L. Arnott
TIDSE
2004
Springer
15 years 11 months ago
A System to Compose Movies for Cross-Cultural Storytelling: Textable Movie
Abstract. This paper presents Textable Movie, an open-ended interface that allows anyone to become "video-jockey." In the framework of computational storytelling, Textabl...
Catherine Vaucelle, Glorianna Davenport