5664 search results - page 720 / 1133 » Creativity support tools |
174
click to vote
COMPSAC
2008
IEEE
15 years 8 months ago
2008
IEEE
The formal specification of design patterns is widely recognised as being vital to their effective and correct use in software development. It can clarify the concepts underlying ...
201
click to vote
ERCIMDL
2007
Springer
15 years 8 months ago
2007
Springer
The German Remote Sensing Data Center (DFD) has developed a digital library for the long-term management of earth observation data products. This Product Library is a central part ...
163
click to vote
EPEW
2008
Springer
15 years 8 months ago
2008
Springer
Embedded systems operating on high data workloads are becoming pervasive. ECA rule engines provide a flexible environment to support the management, reconfiguration and execution o...
187
click to vote
ERCIMDL
2008
Springer
15 years 8 months ago
2008
Springer
We present iClusterDL, a self-organising overlay network that supports information retrieval and filtering functionality in a digital library environment. iClusterDL is able to han...
152
click to vote
FDL
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper describes a scenario-based methodology em-level design validation based on the Abstract State Machines formal method. This scenario-based approach complements an existi...