4460 search results - page 723 / 892 » Resources in process algebra |
199
click to vote
ICSR
2004
Springer
16 years 14 days ago
2004
Springer
Quality assurance (QA) tasks, such as testing, profiling, and performance evaluation, have historically been done in-house on developer-generated workloads and regression suites. ...
182
click to vote
ICWE
2004
Springer
16 years 13 days ago
2004
Springer
Abstract. In recent years, more and more publications and material for studying and teaching, e. g. for Web-based teaching (WBT), appear "online" and digital libraries ar...
180
click to vote
ICWL
2004
Springer
16 years 13 days ago
2004
Springer
Abstract. To enable an online virtual university, a learning environment covering the entire spectrum of the learning and management process is required. However, constructing such...
204
click to vote
IPSN
2004
Springer
16 years 13 days ago
2004
Springer
This paper investigates the problem of designing decentralized representations to support monitoring and inferences in sensor networks. State-space models of physical phenomena su...
160
Voted
MDAFA
2004
Springer
16 years 13 days ago
2004
Springer
A key issue in the MDA approach is the transformation of platform independent models to platform specific models. Before transforming to a platform specific model, however, it is n...