878 search results - page 53 / 176 » Choice and development |
127
click to vote
ICMCS
2006
IEEE
15 years 10 months ago
2006
IEEE
Communication technologies, old or new, are pushing the development of telecommunication industry. Thus, technically performing a multimodal service session (eg. one end is involv...
106
click to vote
ISPDC
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents the design of InfiniWrite, the implementation of a lightweight communication interface called RWAPI over the InfiniBand interconnect for clusters of PCs. Sinc...
144
click to vote
APLAS
2006
ACM
15 years 10 months ago
2006
ACM
We present a local relational reasoning method for reasoning about contextual equivalence of expressions in a λ-calculus with recursive types and general references. Our developme...
131
click to vote
CSFW
2005
IEEE
15 years 10 months ago
2005
IEEE
To reason about information flow based on beliefs, a new model is developed that describes how attacker beliefs change due to the attacker’s observation of the execution of a p...
125
click to vote
ECRTS
2005
IEEE
15 years 10 months ago
2005
IEEE
Graphical languages of various sorts are increasingly used for the specification and the design of high-integrity real-time systems. Their coverage however does not extend with a...