9018 search results - page 1288 / 1804 » 3D-Brain Model Software |
142
click to vote
FAC
2008
15 years 7 months ago
2008
Ten years ago the Mondex electronic purse was certified to ITSEC Level E6, the highest level of assuranceforsecuresystems.ThisinvolvedbuildingformalmodelsintheZnotation,linkingthem...
209
click to vote
ENTCS
2006
15 years 7 months ago
2006
Web Services are software services that can be advertised by providers and invoked by customers using Web technologies. This concept is currently carried further to address the co...
206
click to vote
IJVR
2008
15 years 7 months ago
2008
Due to its importance as a model for several software and hardware applications, automata theory is a core topic in computer science and engineering education. But because of its m...
202
click to vote
JBCS
2002
15 years 6 months ago
2002
This paper presents a new approach for generating configured and flexible middleware systems for integration of heterogeneous and distributed data. The configuration is based on t...
181
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
The basic theory of supervisory control of discrete-event systems is extended with the notion of templates, which simplifies the modeling of controllers since one can work with co...