Sciweavers

264 search results - page 21 / 53
» Transaction level modeling: an overview
Sort
View
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
VLDB
1998
ACM
134views Database» more  VLDB 1998»
14 years 19 days 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
14 years 2 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
13 years 9 months 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
14 years 19 days 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...