1049 search results - page 1 / 210 » On tool support for Service Level Management: From requireme... |
BDIM
2008
IEEE
13 years 10 months ago
2008
IEEE
ENTCS
2008
13 years 4 months ago
2008
Automatic generation of formal specifications from requirement reduces cost and complexity of formal models creation. Thus, the generated formal model brings the possibility to ca...
HICSS
2009
IEEE
13 years 11 months ago
2009
IEEE
We designed and implemented an ontological solution which makes provisions for choosing adequate devices/sensors for remote monitoring of patients who are suffering from post-stro...
DAC
2008
ACM
14 years 5 months ago
2008
ACM
Driven by increasing complexity and reliability demands, the Japanese Aerospace Exploration Agency (JAXA) in 2004 commissioned development of ELEGANT, a complete SpecC-based envir...
ECOWS
2007
Springer
13 years 10 months ago
2007
Springer
Several works have addressed the management of individual Web Services. However, the specific management requirements of workflow-based web service compositions such as those speci...