1885 search results - page 225 / 377 » Exploring design as a research activity |
187
click to vote
FOSSACS
2008
Springer
15 years 8 months ago
2008
Springer
Whereas formal verification of timed systems has become a very active field of research, the idealised mathematical semantics of timed automata cannot be faithfully implemented. Se...
180
click to vote
APVIS
2008
15 years 8 months ago
2008
With the success of open source software projects, such as Apache and Mozilla, comes the opportunity to study the development process. In this paper, we present StarGate: a novel ...
115
click to vote
BCSHCI
2008
15 years 8 months ago
2008
A number of technology-rich spaces have been designed and created over the last few years with the purpose of supporting and enhancing learning, collaboration, community participa...
133
click to vote
HCI
2007
15 years 8 months ago
2007
WATCH-OVER is a European project, aiming at the enhancement of road safety and the impairment of traffic accidents involving vulnerable road users (VRUs), such as pedestrians, bicy...
165
click to vote
ICMAS
2000
15 years 7 months ago
2000
Research on resource-bounded agents has established that rational agents need to be able to revise their commitments in the light of new opportunities. In the context of collabora...