12333 search results - page 544 / 2467 » System Level Modelling for Hardware Software Systems |
189
click to vote
IUI
1999
ACM
15 years 11 months ago
1999
ACM
Model-based interface development systems have not been able to progress beyond producing narrowly focused interface designs of restricted applicability. We identify a -abstractio...
190
click to vote
EUROMICRO
2003
IEEE
16 years 10 days ago
2003
IEEE
We present a practical approach to the design of a Web system for 3D and volumetric data interrogation and visualization. This Web application provides different functionalities i...
211
click to vote
CODES
2005
IEEE
16 years 20 days ago
2005
IEEE
We design and implement a cryptographic biometric authentication system using a microcoded architecture. The secure properties of the biometric matching process are obtained by me...
226
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
This paper presents a case study in modelling and verifying the Linux Virtual File System (VFS). Our work is set in the context of Hoare’s verification grand challenge and, in p...
186
click to vote
MATES
2004
Springer
16 years 12 days ago
2004
Springer
Abstract. In this paper, an integrated approach for the modeling and the validation through simulation of multi-agent systems is proposed. The approach centers on the instantiation...