9049 search results - page 361 / 1810 » The New C Standard |
174
click to vote
ZUM
2005
Springer
16 years 8 days ago
2005
Springer
The Community Z Tools (CZT) project is an open-source Java framework for building formal methods tools for Z and Z dialects. It also includes a set of tools for parsing, typechecki...
225
click to vote
PPPJ
2004
ACM
16 years 6 days ago
2004
ACM
Agents are an emerging technology that grants programmers a new way to exploit distributed resources. Roles are a powerful concept that can be used to model agent interactions, all...
165
click to vote
CRYPTO
2004
Springer
16 years 5 days ago
2004
Springer
ded abstract of this paper is to appear in Advances in Cryptology—CRYPTO 2004, Springer-Verlag. We construct a short group signature scheme. Signatures in our scheme are approxi...
163
click to vote
ICCS
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Lately, grid research has focused its attention on interoperability and standards, such as Grid Services, in order to facilitate resource virtualization, and to accommoda...
187
click to vote
MICCAI
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. We introduce a new, efficient approach for modelling the deformation of organs following surgical cuts, retractions, and resections. It uses the extended finite element ...