22560 search results - page 337 / 4512 » Development of Transportation Systems |
154
click to vote
IUI
1998
ACM
15 years 11 months ago
1998
ACM
Expectation-Driven Event Monitoring (EDEM) provides developers with a platform for creating software agents to collect usage data and increase user involvement in the development ...
204
click to vote
CSEE
2006
Springer
15 years 10 months ago
2006
Springer
The development of games in aid of improving and enriching a student's learning experience is again on the rise. The beer game [6] in the field of system dynamics was develop...
200
click to vote
FASE
2000
Springer
15 years 10 months ago
2000
Springer
We present a family of tools for program development and verification, comprising the transformation system TAS and the theorem proving interface IsaWin. Both are based on the theo...
188
click to vote
ACSW
2003
15 years 8 months ago
2003
This paper presents the development of the Tourist Guide, a location based tourist guide application for the outdoor environment. Our focus for this project is on software support...
178
click to vote
WOA
2004
15 years 8 months ago
2004
Abstract-- In this article we present a visual development environment for writing DyLOG programs, explaining the motivations to this work and the main design choices. We will also...