298 search results - page 23 / 60 » UPPAAL - Now, Next, and Future |
70
Voted
ACMICEC
2003
ACM
15 years 2 months 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...
68
Voted
FSE
2001
Springer
15 years 2 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
15 years 2 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
15 years 1 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
15 years 1 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 ...