4150 search results - page 729 / 830 » A Practical Approach to Model Extension |
TACAS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Our main objective is to combine partial-order methods with verification techniques for infinite-state systems in order to obtain efficient verification algorithms fo...
CCGRID
2006
IEEE
15 years 6 months ago
2006
IEEE
Grid computing is becoming the natural way to aggregate and share large sets of heterogeneous resources. With the infrastructure becoming ready for the challenge, current grid dev...
101
click to vote
CCGRID
2006
IEEE
15 years 6 months ago
2006
IEEE
Service Oriented EXtensible Modeling and Simulation Supporting Environment Architecture (SO-XMSSEA) is presented based on XMSF thinking and the new technology development of web s...
113
click to vote
IPPS
2006
IEEE
15 years 6 months ago
2006
IEEE
Modern FPGA platforms provide the hardware and software infrastructure for building a bus-based System on Chip (SoC) that meet the applications requirements. The designer can cust...
WECWIS
2006
IEEE
15 years 5 months ago
2006
IEEE
We present a dynamic and distributed approach to the hospital patient scheduling problem: the multi-agent Pareto-improvement appointment exchanging algorithm, MPAEX. It respects t...