592 search results - page 48 / 119 » Modelling the Behaviour of Management Operations in Cloud-ba... |
153
Voted
USS
2008
15 years 6 months ago
2008
Graphics processors are continuing their trend of vastly outperforming CPUs while becoming more general purpose. The latest generation of graphics processors have introduced the a...
156
Voted
ICST
2010
IEEE
15 years 2 months ago
2010
IEEE
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...
134
Voted
ITNG
2010
IEEE
15 years 8 months ago
2010
IEEE
—In reservoir engineering domain experts deal with many tasks and operations, ranging from reservoir simulation to well maintenance scheduling, with the goal of maximizing oil pr...
141
Voted
WETICE
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper describes the architecture and concept of operation of a Framework for Adaptive Process Modeling and Execution (FAME). The research addresses the absence of robust meth...
119
Voted
FM
2003
Springer
15 years 9 months ago
2003
Springer
Simple retrenchment is briefly reviewed in the B language of J.-R. Abrial [1] as a liberalisation of classical refinement, for the formal description of application developments ...