10159 search results - page 1689 / 2032 » System Design Validation Using Formal Models |
180
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
Morphbank, an on-line collection of museum-quality biological images, is an NSF funded project designed to facilitate the on-line collaboration of biologists from around the world...
167
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
This paper describes a pilot study of a computer simulation called WIIS, which is designed to extend students' learning experience of the sizes of the objects beyond human vi...
151
click to vote
HPDC
1997
IEEE
15 years 11 months ago
1997
IEEE
Layering of protocols o ers several well-known advantages, but typically leads to performance ine ciencies. We present a model for layering, and point out where the performance pr...
142
click to vote
ICSE
1993
IEEE-ACM
15 years 11 months ago
1993
IEEE-ACM
Wepresent a model based onan expert-systemapproach for the scavenging of reusable componentsfrom exis:ing software systems. We also describe a toolset called Code Miner that imple...
198
click to vote
WSC
2007
15 years 9 months ago
2007
In this paper, we propose a new asymmetric cryptographic algorithm (HOOD CRYPT) based on the Elliptical Curve Cryptographic approach. The algorithm describes how an orthogonal fre...