7099 search results - page 392 / 1420 » Context for models of concurrency |
172
click to vote
ASPDAC
2006
ACM
16 years 1 months ago
2006
ACM
–Architectures with multiple programmable cores are becoming more attractive for video codec applications because they can provide highly concurrent computation and support multi...
196
click to vote
DSVIS
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
206
click to vote
SACRYPT
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. This paper formalizes the security adversarial games for online symmetric cryptosystems in a unified framework for deterministic and probabilistic encryption schemes. On...
207
click to vote
ICRA
2002
IEEE
16 years 18 days ago
2002
IEEE
Abstract- Procurement, i.e., the process of obtaining materials or services and managing their inflow into organizations, is a critical process in supply chain management. Internet...
217
click to vote
LCTRTS
2001
Springer
16 years 3 days ago
2001
Springer
When the Asynchronous Method Invocation (AMI) model was introduced into the CORBA specification, client applications benefited from the ability to invoke nonblocking two-way reque...