4809 search results - page 450 / 962 » Scalable Analysis of Scalable Systems |
197
click to vote
CC
2004
Springer
16 years 1 months ago
2004
Springer
We present an algorithm for counting the number of integer solutions to selected free variables of a Presburger formula. We represent the Presburger formula as a deterministic fin...
210
Voted
GI
2004
Springer
16 years 1 months ago
2004
Springer
: We envision future office buildings that partly or fully implement a flexible office organization, i.e. office space is assigned dynamically on request. These organizational ...
168
click to vote
SEMWEB
2004
Springer
16 years 1 months ago
2004
Springer
Semantic Web resources — that is, knowledge representation formalisms existing in a distributed hypermedia system — require different addressing and processing models and capac...
203
click to vote
CLADE
2003
IEEE
16 years 1 months ago
2003
IEEE
As Grids are emerging as the next-generation computing platform, the need for Web-based portals that hide low level details of accessing Grid services for deployment and execution ...
209
click to vote
VL
2003
IEEE
16 years 29 days ago
2003
IEEE
JAN is a system for animated execution of Java programs. Its application area is program understanding rather than debugging. To this end, the animation can be customized, both by...