355 search results - page 43 / 71 » Aspects of Formal and Graphical Design of a Bus System |
IUI
2003
ACM
14 years 1 months ago
2003
ACM
In this paper, we describe the development of a virtual human to be used for training applications in the field of cardiac emergencies. The system integrates AI techniques for sim...
DEXAW
2003
IEEE
14 years 1 months ago
2003
IEEE
Public-key infrastructures are a prerequisite for security in distributed systems and for reliable electronic commerce. It is their goal to provide the authenticity of public keys...
APSEC
2000
IEEE
13 years 11 months ago
2000
IEEE
SOFL is a formal language and method for system specification and design. As a language it is an integration of Petri nets, Data Flow Diagrams, and VDM-SL. As a method it is a com...
TOMACS
1998
13 years 7 months ago
1998
architectures at multiple levels of abstraction, encompassing both hardware and software. It has five modes of operation (Design, Model Validation, Build Simulation, Simulate Syste...
ICFP
2007
ACM
14 years 8 months ago
2007
ACM
There has been much work in recent years on extending ML with recursive modules. One of the most difficult problems in the development of such an extension is the double vision pr...