298 search results - page 23 / 60 » UPPAAL - Now, Next, and Future |
ACMICEC
2003
ACM
14 years 19 days ago
2003
ACM
In this paper, we describe a business-to-business (B2B) testbed co-sponsored by the Open Applications Group, Inc. (OAGI) and the National Institute of Standard and Technology (NIS...
FSE
2001
Springer
13 years 12 months ago
2001
Springer
The NESSIE project (New European Schemes for Signature, Integrity and Encryption) intends to put forward a portfolio containing the next generation of cryptographic primitives. The...
DIGITALCITIES
2000
Springer
13 years 11 months ago
2000
Springer
As a platform for community networks, information spaces using the city metaphor are being developed in worldwide. This paper comparesthe trials of digital cities. Four digital cit...
FTDCS
1999
IEEE
13 years 11 months ago
1999
IEEE
Open Distributed Systems are the dominating intellectual issue of the end of this century. Figuring out how to build those systems will become a central issue in distributed system...
SIGADA
1993
Springer
13 years 11 months ago
1993
Springer
The Navy’s Next Generation Computer Resources (NGCR) program set up a Project Support Environment Standards Working Group (PSESWG) to help in the task of establishing interface ...