1323 search results - page 66 / 265 » Extended Modeling Languages for Interaction Protocol Design |
155
click to vote
JOT
2008
15 years 3 months ago
2008
In this paper, we discuss various aspects of the design, implementation, and use of JAPROSIM which is a general purpose discrete event simulation framework based on the Java progr...
172
click to vote
IACR
2011
14 years 3 months ago
2011
Fully homomorphic encryption (FHE) provides a simple template for secure computation between two parties (Alice and Bob) where: (I) Alice encrypts her input under her key, (II) Bo...
129
click to vote
TLDI
2003
ACM
15 years 8 months ago
2003
ACM
We extend Cyclone, a type-safe polymorphic language at vel of abstraction, with threads and locks. Data races can violate type safety in Cyclone. An extended type system staticall...
138
Voted
IEEESCC
2006
IEEE
15 years 9 months ago
2006
IEEE
Although workflow languages are widely used for composing discrete services, these are not suitable for stream based interactions. In this paper we address the problem of how to ...
138
Voted
CBSE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Predicting the performance of component-based applications is difficult due to the complexity of the underlying component technology. This problem is exacerbated when a m...