5216 search results - page 808 / 1044 » Planning as Model Checking |
160
click to vote
WER
2007
Springer
16 years 18 days ago
2007
Springer
Background. This research group has been working towards building an environment which helps software development, providing support to some activities mainly based on use case mo...
174
click to vote
CCGRID
2006
IEEE
16 years 17 days ago
2006
IEEE
Traffic congestion has become a major concern for many cities throughout the world. Simulations provide useful tools for engineer to plan traffic systems and government to make de...
157
click to vote
CCGRID
2005
IEEE
16 years 3 days ago
2005
IEEE
The emerging service grids bring together various distributed services to a ‘market’ for clients to request and enable the integration of services across distributed, heteroge...
168
click to vote
DSRT
2005
IEEE
16 years 3 days ago
2005
IEEE
Engine production is a complex process that requires the manufacturing and assembly of a wide variety of components to create a varied product mix. Simulation plays a key role in ...
140
click to vote
HICSS
2005
IEEE
16 years 3 days ago
2005
IEEE
Many argue that offshoring is an inexorable trend since IT skills have become a global commodity and they are vastly cheaper in other parts of the world. According to this view, m...