4460 search results - page 723 / 892 » Resources in process algebra |
176
click to vote
ICSR
2004
Springer
15 years 11 months 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. ...
162
click to vote
ICWE
2004
Springer
15 years 11 months 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...
163
click to vote
ICWL
2004
Springer
15 years 11 months 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...
181
click to vote
IPSN
2004
Springer
15 years 11 months 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...
142
click to vote
MDAFA
2004
Springer
15 years 11 months 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...