14331 search results - page 312 / 2867 » On the modeling and analysis of obligations |
160
click to vote
SCANGIS
2003
15 years 8 months ago
2003
The paper describes a concept for GIS based terrain mobility modelling and optimization of off-road route. The concept of generation of cost surface is based on machine, terrain, ...
169
click to vote
SIGSOFT
2003
ACM
15 years 12 months ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...
199
click to vote
GECCO
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Our ability to simultaneously measure the expression levels of thousands of genes in biological samples is providing important new opportunities for improving the diagnos...
215
click to vote
WSC
2008
15 years 9 months ago
2008
Despite that simulation possesses an establish background and offers tremendous promise for designing and analyzing complex production systems, manufacturing industry has been les...
207
click to vote
TCS
2010
15 years 1 months ago
2010
Markovian process algebras, such as PEPA and stochastic -calculus, bring a powerful compositional approach to the performance modelling of complex systems. However, the models gen...