773 search results - page 99 / 155 » Report on a Practical Application of ASMs in Software Design |
COMSWARE
2008
IEEE
14 years 3 months ago
2008
IEEE
— We design a framework that implements security at the TCP layer to meet the necessity for a practical and truly end-to-end security solution. We call our framework TCPsec. TCPs...
ADAEUROPE
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. This paper describes a laboratory equipped for the teaching of realtime systems. The laboratory has been built around a Digital Model Railroad Platform and it allows the ...
KBSE
2003
IEEE
14 years 2 months ago
2003
IEEE
We propose a practical parallel on-the-fly algorithm for enumerative LTL model-checking. The algorithm is designed for a cluster of workstations communicating via MPI. The detect...
AVI
2006
13 years 10 months ago
2006
This paper presents an analysis of user studies from a review of papers describing new visualisation applications and uses these to highlight various issues related to the evaluat...
ACMACE
2010
ACM
13 years 3 months ago
2010
ACM
Tangible Anchoring explores potential practices for news reporting and analysis afforded by the convergence of tabletop computing forms, broadcast media, and user-generated conten...