Sciweavers

Share
1068 search results - page 1 / 214
» On tool support for Service Level Management: From requireme...
Sort
View
ENTCS
2008
135views more  ENTCS 2008»
9 years 10 hour ago
Formal Specification Generation from Requirement Documents
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...
Gustavo Cabral, Augusto Sampaio
HICSS
2009
IEEE
105views Biometrics» more  HICSS 2009»
9 years 6 months ago
Ontological Support for Managing Non-Functional Requirements In Pervasive Healthcare
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...
Nigel Koay, Pavandeep Kataria, Radmila Juric, Patr...
DAC
2008
ACM
10 years 28 days ago
Specify-explore-refine (SER): from specification to implementation
Driven by increasing complexity and reliability demands, the Japanese Aerospace Exploration Agency (JAXA) in 2004 commissioned development of ELEGANT, a complete SpecC-based envir...
Andreas Gerstlauer, Junyu Peng, Dongwan Shin, Dani...
ECOWS
2007
Springer
9 years 6 months ago
Management Requirements of Web Service Compositions
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...
Anis Charfi, Rainer Berbner, Mira Mezini, Ralf Ste...
books