Sciweavers

1887 search results - page 172 / 378
» Annotation Framework Validation Using Domain Models
Sort
View
AAAI
2008
15 years 5 months ago
Generating Application-Specific Benchmark Models for Complex Systems
Automated generators for synthetic models and data can play a crucial role in designing new algorithms/modelframeworks, given the sparsity of benchmark models for empirical analys...
Jun Wang, Gregory M. Provan
126
Voted
APSEC
2005
IEEE
15 years 9 months ago
Describing and Verifying Integrated Services of Home Network Systems
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...
Pattara Leelaprute, Tatsuhiro Tsuchiya, Tohru Kiku...
FASE
2010
Springer
15 years 10 months ago
Performance Modeling and Analysis of Context-Aware Mobile Software Systems
Abstract. Context-awareness is becoming a first class attribute of software systems. In fact, applications for mobile devices need to be aware of their context in order to adapt t...
Luca Berardinelli, Vittorio Cortellessa, Antinisca...
TKDE
2010
210views more  TKDE 2010»
15 years 1 months ago
Structural and Role-Oriented Web Service Discovery with Taxonomies in OWL-S
—In this paper, we describe and evaluate a Web service discovery framework using OWL-S advertisements, combined with the distinction between service and Web service of the WSMO D...
Georgios Meditskos, Nick Bassiliades
141
Voted
ICIP
2007
IEEE
15 years 9 months ago
Video Quality Assessment by Incorporating a Motion Perception Model
Motion is one of the most important types of information contained in natural video, but direct use of motion information in the design of video quality assessment algorithms has ...
Qiang Li, Zhou Wang