46084 search results - page 369 / 9217 » Developments in WIS development |
170
click to vote
WSC
2008
15 years 9 months ago
2008
This paper proposes a systems engineering process utilizing the conceptual artifacts of the Model Driven Architecture (MDA) describing platform independent views of models to capt...
172
Voted
ITP
2010
15 years 8 months ago
2010
We present a new formalization of the algebraic hierarchy in Coq, exploiting its new type class mechanism to make practical a solution formerly thought infeasible. Our approach add...
187
click to vote
CDVE
2008
Springer
15 years 8 months ago
2008
Springer
No part of the economic community can now escape from the urgent issues related to global warming, carbon footprint and reducing energy consumption. Nevertheless, the construction ...
169
Voted
CSCWD
2007
Springer
15 years 8 months ago
2007
Springer
The difficult business reality today makes enterprises more and more resort to information technology to manage nearly everything within the enterprises and to conduct business ac...
153
click to vote
FPLAY
2008
15 years 8 months ago
2008
Tracking technologies, such as eye and head-tracking, provide novel techniques for interacting with video games. For instance, players can shoot with their eyes in a first person ...