2687 search results - page 348 / 538 » On the Conversion between Number Systems |
148
click to vote
IFM
2004
Springer
15 years 11 months ago
2004
Springer
Recent work on combining CSP and B has provided ways of describing systems comprised of components described in both B (to express requirements on state) and CSP (to express intera...
188
click to vote
COMPSAC
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper introduces an object-passing model for parallel and distributed application development. Object passing provides the object-oriented application developer with powerful...
168
click to vote
ICDCS
2003
IEEE
15 years 11 months ago
2003
IEEE
We present the design of a distributed store that offers various levels of security guarantees while tolerating a limited number of nodes that are compromised by an adversary. The...
161
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
Over the past several decades, the compiler research community has developed a number of sophisticated and powerful algorithms for a varierty of code improvements. While there are...
186
click to vote
MOBICOM
2003
ACM
15 years 11 months ago
2003
ACM
Simulation has become an indispensable tool in the construction and evaluation of mobile systems. By using mobility models that describe constituent movement, one can explore larg...