3555 search results - page 411 / 711 » Security-Critical System Development with Extended Use Cases |
243
click to vote
CONIELECOMP
2006
IEEE
16 years 26 days ago
2006
IEEE
Most of the existing 3D engines are overwhelmingly complex and do not integrate support for virtual characters. We have developed a teaching oriented 3D engine with support for su...
180
click to vote
COLING
1992
15 years 8 months ago
1992
Knowledge-based interlingual machine translation systems produce semantically accurate translations, but typically require massive knowledge acquisition. Ongoing research and deve...
215
click to vote
PPSN
1994
Springer
15 years 11 months ago
1994
Springer
We present the Genetic L-System Programming (GLP) paradigm for evolutionary creation and development of parallel rewrite systems (Lsystems, Lindenmayer-systems) which provide a com...
180
click to vote
VMCAI
2005
Springer
16 years 9 days ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...
229
click to vote
WECWIS
2003
IEEE
16 years 2 days ago
2003
IEEE
Service portals are systems which expose a bundle of web services to the user, allowing the specification and subsequent execution of complex tasks defined over these individual...