4350 search results - page 111 / 870 » Case studies for contract-based systems |
FASE
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
VRML
2000
ACM
14 years 2 months ago
2000
ACM
Business visualization is becoming increasingly important, since managers recognize the power of human visual intuition in information-rich decision tasks. Nevertheless, despite i...
HICSS
2007
IEEE
14 years 4 months ago
2007
IEEE
The deployment of e-Government continues at a significant cost and pace in the worldwide public sector. An important area of research is that of the evaluation of e-Government. In...
CSMR
2006
IEEE
14 years 4 months ago
2006
IEEE
This paper describes a case study that uses clustering to group classes of an existing objectoriented system of significant size into subsystems. The clustering process is based o...
ETS
2000
IEEE
13 years 10 months ago
2000
IEEE
This paper outlines and discusses the pedagogical approach, the technical design architecture, and an innovative implementation of a collaborative role-play simulation technology ...