3914 search results - page 340 / 783 » Automating SLA modeling |
147
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
Abstract. Operating-system verification gains increasing research interest. The complexity of such systems is, however, challenging and many endeavors are limited in some respect: ...
168
click to vote
MICCAI
2009
Springer
16 years 4 months ago
2009
Springer
Automated segmentation of the esophagus in CT images is of high value to radiologists for oncological examinations of the mediastinum. It can serve as a guideline and prevent confu...
227
click to vote
ECMDAFA
2009
Springer
16 years 1 months ago
2009
Springer
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...
170
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
Enriching business process models with semantic annotations taken from an ontology has become a crucial necessity both in service provisioning, integration and composition, and in ...
138
click to vote
HT
2009
ACM
16 years 1 months ago
2009
ACM
Narrative systems attempt to present users with media collections that include some element of structure or story, however these collections can lack an authorial voice and seem b...