234 search results - page 25 / 47 » Validation of requirement models by automatic prototyping |
SACMAT
2010
ACM
15 years 3 months ago
2010
ACM
Policy authors typically reconcile several different mental models and goals, such as enabling collaboration, securing information, and conveying trust in colleagues. The data un...
72
Voted
AICOM
1999
14 years 10 months ago
1999
On-board diagnostic systems play an important role in the current generation of cars and will play an increasingly important role in the next future. The design of on-board diagno...
89
Voted
DAGSTUHL
2006
15 years 10 days ago
2006
Verification and Simulation share many issues, one is that simulation models require validation and verification. In the context of simulation, verification is understood as the ta...
EMSOFT
2007
Springer
15 years 5 months ago
2007
Springer
Architecture description languages are used to describe both the hardware and software architecture of an application, at system-level. The basic software components are intended ...
85
Voted
DSRT
1999
IEEE
15 years 3 months ago
1999
IEEE
This paper describes a variant of the actor model suited to the development of multimedia systems. The actor model centers on non-overkilling concurrency and customizable constrai...