3119 search results - page 532 / 624 » General Default Logic |
114
click to vote
ENTCS
2006
15 years 25 days ago
2006
We propose a family of models of coordination of distributed object systems representing different views, with refinement relations between the different views. We start with dist...
104
Voted
FUIN
2006
15 years 25 days ago
2006
Abstract. This paper describes an attempt to combine theorem proving and model-checking to formally verify real-time systems in a discrete time setting. The Timed Automata Modeling...
94
Voted
IJOE
2008
15 years 25 days ago
2008
Objectives of Automation courses are knowledge and know-how transfer to students. It is important for learner to control locally or remotely real systems composed of many sensors a...
104
click to vote
GRID
2006
Springer
15 years 25 days ago
2006
Springer
Although grid computing offers great potential for executing large-scale bioinformatics applications, practical deployment is constrained by legacy interfaces. Most widely deployed...
129
Voted
GRID
2006
Springer
15 years 25 days ago
2006
Springer
Air Quality Forecasting (AQF) is a new discipline that attempts to reliably predict atmospheric pollution. An AQF application has complex workflows and in order to produce timely ...