5075 search results - page 844 / 1015 » Model-based interface development |
125
Voted
CARDIS
2000
Springer
15 years 8 months ago
2000
Springer
This paper reports on an effort to increase the reliability of JavaCard-based smart cards by means of formal specification and verification of JavaCard source code. As a first ste...
144
Voted
EUROPAR
2000
Springer
2000
Springer
An Architecture for Web-Based Interaction and Steering of Adaptive Parallel/Distributed Applications
15 years 8 months ago
This paper presents an architecture for web-based interaction and steering of parallel/distributed scientific applications. The architecture is composed of detachable thin-clients ...
165
click to vote
ICSE
2000
IEEE-ACM
15 years 8 months ago
2000
IEEE-ACM
Software systems of today are frequently composed from prefabricated, heterogeneous components that provide complex functionality and engage in complex interactions. Existing rese...
143
click to vote
SC
2000
ACM
15 years 8 months ago
2000
ACM
We present simulations and performance results of nuclear burning fronts in supernovae on the largest domain and at the finest spatial resolution studied to date. These simulation...
163
click to vote
COMPSAC
1995
IEEE
15 years 8 months ago
1995
IEEE
Software development environments are examples of complex computer applications characterized by heterogeneity; they are composed of diverse information repositories, user interfa...