Sciweavers

443 search results - page 21 / 89
» Automatic generation of bus functional models from transacti...
Sort
View
JDCTA
2010
164views more  JDCTA 2010»
13 years 3 months ago
Session-Based User Behavior Meta-Model of Web Applications for User-Level QoS Load Testing
With the rapid development of Service-Oriented Architecture (SOA) and Service-Oriented Computing (SOC), the Quality of Service (QoS) is more and more essential than before. There ...
Lu Lu, Xiuxia Quan
CAV
2007
Springer
121views Hardware» more  CAV 2007»
14 years 2 months ago
Low-Level Library Analysis and Summarization
Programs typically make extensive use of libraries, including dynamically linked libraries, which are often not available in source-code form, and hence not analyzable by tools tha...
Denis Gopan, Thomas W. Reps
RTDB
2001
83views more  RTDB 2001»
13 years 9 months ago
Updates and View Maintenance
A database system contains base data items which record and model a physical, real world environment. For better decision support, base data items are summarized and correlated to...
Ben Kao, Kam-yiu Lam, Brad Adelberg
CORR
2009
Springer
95views Education» more  CORR 2009»
13 years 6 months ago
Execution Models for Choreographies and Cryptoprotocols
A choreography describes a transaction in which several principals interact. Since choreographies frequently describe business processes affecting substantial assets, we need a se...
Marco Carbone, Joshua D. Guttman
AIIDE
2009
13 years 9 months ago
Demonstrating Automatic Content Generation in the Galactic Arms Race Video Game
In most modern video games, content (e.g. models, levels, weapons, etc.) shipped with the game is static and unchanging, or at best, randomized within a narrow set of parameters. ...
Erin J. Hastings, Ratan K. Guha, Kenneth O. Stanle...