5278 search results - page 3 / 1056 » An Approach and Framework for Extensible Process Support Sys... |
CAV
2005
Springer
13 years 11 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
ICEIS
2009
IEEE
14 years 5 days ago
2009
IEEE
Abstract. In the Web environment, rich, diverse sources of heterogeneous and distributed data are ubiquitous. In fact, even the information characterizing a single entity - like, f...
IADIS
2003
13 years 6 months ago
2003
The increasing demand for group support in software has drawn more attention to the field of designing Group Support Systems. Notwithstanding all the research in this field the pr...
CIKM
2006
Springer
13 years 9 months ago
2006
Springer
By providing an integrated and optimized support for user-defined aggregates (UDAs), data stream management systems (DSMS) can achieve superior power and generality while preservi...
MSS
2005
IEEE
13 years 11 months ago
2005
IEEE
Storage virtualization is becoming more and more important due to the increasing gap between application requirements and the limited functionality offered by storage systems. In...