3441 search results - page 676 / 689 » Provenance of Software Development Processes |
FOSSACS
2005
Springer
15 years 5 months ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
101
click to vote
ICA3PP
2005
Springer
15 years 5 months ago
2005
Springer
In the present work we describe architectural concepts of the distributed molecular simulation package GridMD. The main purpose of this work is to underline the construction patter...
108
click to vote
GECCO
2004
Springer
15 years 5 months ago
2004
Springer
Portable embedded systems are being driven by consumer demands to be thermally efficient, perform faster, and have longer battery life. To design such a system, various hardware un...
102
click to vote
HICSS
2003
IEEE
15 years 5 months ago
2003
IEEE
Information about the user's environment offers new opportunities and exposes new challenges in terms of time-aware, location-aware, device-aware and personalized application...
VISUALIZATION
2003
IEEE
15 years 5 months ago
2003
IEEE
LightKit is a system for lighting three-dimensional synthetic scenes. LightKit simplifies the task of producing visually pleasing, easily interpretable images for visualization w...