596 search results - page 74 / 120 » On the Use of Visualization in Formal Requirements Specifica... |
166
click to vote
ICMAS
2000
15 years 7 months ago
2000
This paper investigates the computational complexity of a fundamental problem in multi-agent systems: given an environment together with a specification of some task, can we const...
182
click to vote
CG
2005
Springer
15 years 6 months ago
2005
Springer
In Monte-Carlo photon-tracing methods energy-carrying particles are traced in an environment to generate hit points on object surfaces for simulating global illumination. The surf...
150
Voted
ETFA
2008
IEEE
16 years 15 days ago
2008
IEEE
This paper presents an application for the automatic generation of Bond Graph models. The basis for this automated creation is a modified plant model in the XML-format according t...
163
click to vote
VL
2002
IEEE
15 years 11 months ago
2002
IEEE
There has been little research on end-user program development beyond the programming phase. Devising ways to address additional phases may be critical, because research shows tha...
140
click to vote
PAKM
1998
15 years 7 months ago
1998
This paper describes how AIAI has used the ideas and techniques behind Technology Road Maps in order to provide a framework for developing Knowledge Asset Road Maps to support kno...