4350 search results - page 555 / 870 » Case studies for contract-based systems |
168
click to vote
ESCIENCE
2005
IEEE
16 years 14 days ago
2005
IEEE
The Grid provides infrastructure that allows an arbitrary application to be executed on a range of different computational resources. When input files are very large, or when faul...
174
click to vote
HICSS
2005
IEEE
16 years 14 days ago
2005
IEEE
Virtual teams and their leaders are key players in global organisations. Using teams of workers dispersed temporally and geographically has changed the way people work in groups a...
192
click to vote
IRI
2005
IEEE
16 years 13 days ago
2005
IEEE
Developing scalable and adaptable architectures that can accommodate evolving changes is crucial for reducing software development cost. To achieve scalability and adaptability, d...
197
click to vote
IV
2005
IEEE
16 years 13 days ago
2005
IEEE
Visualising large graphs faces the challenges of both data complexity and visual complexity. This paper presents a framework for visualising large graphs that reduces data complex...
212
Voted
LICS
2005
IEEE
16 years 13 days ago
2005
IEEE
Games played on graphs may have qualitative objectives, such as the satisfaction of an ω-regular property, or quantitative objectives, such as the optimization of a realvalued re...