Sciweavers

264 search results - page 21 / 53
» Transaction level modeling: an overview
Sort
View
CORR
2009
Springer
95views Education» more  CORR 2009»
14 years 9 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
VLDB
1998
ACM
134views Database» more  VLDB 1998»
15 years 4 months ago
Secure Buffering in Firm Real-Time Database Systems
The design of secure buffer managers for database systems supporting real-time applications with firm deadlines is studied here. We first identify the design challenges and then p...
Binto George, Jayant R. Haritsa
RTSS
2007
IEEE
15 years 6 months ago
Toward the Predictable Integration of Real-Time COTS Based Systems
The integration phase of real-time COTS-based systems is often problematic because when multiple tasks run concurrently, the interference at the bus level between cache fetching a...
Rodolfo Pellizzoni, Marco Caccamo
TREC
2007
15 years 27 days ago
Opinion Retrieval Experiments Using Generative Models: Experiments for the TREC 2007 Blog Track
Ranking blog posts that express opinions regarding a given topic should serve a critical function in helping users. We explored a couple of methods for opinion retrieval in the fr...
Yuki Arai, Koji Eguchi
PADS
1997
ACM
15 years 3 months ago
MRE: A Flexible Approach to Multi-Resolution Modeling
Multi-resolution representation of simulated entities is considered essentialfor a growing portion of distributed simulations. Heretofore,modelers have representedentites at just ...
Anand Natrajan, Paul F. Reynolds Jr., Sudhir Srini...