Sciweavers

337 search results - page 68 / 68
» Projection in Temporal Logic Programming
Sort
View
ECBS
1996
IEEE
93views Hardware» more  ECBS 1996»
13 years 10 months ago
A Methodology for Designing and Dimensioning Critical Complex Computing Systems
It is widely recognized that real-time,fault-tolerant and distributed computing technologies play a key role in the deployment of many current andfuture (civilian or Defense) crit...
Gérard Le Lann
JSW
2007
102views more  JSW 2007»
13 years 5 months ago
Model-driven Engineering for Early QoS Validation of Component-based Software Systems
— Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based syste...
James H. Hill, Aniruddha S. Gokhale