596 search results - page 45 / 120 » Evolving Software Tools for New Distributed Computing Enviro... |
127
click to vote
WMTE
2005
IEEE
15 years 9 months ago
2005
IEEE
Many universities and further education colleges provide Virtual Learning Environments (VLEs). In recent years a new direction has been to extend these to support Personal Develop...
125
Voted
SPIN
2000
Springer
15 years 7 months ago
2000
Springer
We describe a tool, called AX, that can be used in combination with the model checker SPIN to efficiently verify logical properties of distributed software systems implemented in A...
108
click to vote
COORDINATION
1999
Springer
15 years 7 months ago
1999
Springer
Advances in computer networks that support the invocation of remote services in heterogeneous environments enable new levels of software composition. In order to manage composition...
119
click to vote
ESCIENCE
2006
IEEE
15 years 9 months ago
2006
IEEE
Grid software developers and Grid site administrators both require realistic testbeds where they can test applications and middleware before deployment on production infrastructur...
125
click to vote
CCGRID
2006
IEEE
15 years 9 months ago
2006
IEEE
A challenging issue facing Grid communities is that while Grids can provide access to many heterogeneous resources, the resources to which access is provided often do not match th...