Sciweavers

168 search results - page 12 / 34
» Towards validated real-time software
Sort
View
CORR
2010
Springer
155views Education» more  CORR 2010»
13 years 10 months ago
Towards Performance Measurement And Metrics Based Analysis of PLA Applications
This article is about a measurement analysis based approach to help software practitioners in managing the additional level complexities and variabilities in software product line...
Zeeshan Ahmed
COMPSAC
2009
IEEE
14 years 4 months ago
Towards Validating Security Protocol Deployment in the Wild
As computing technology becomes increasingly pervasive and interconnected, mobility leads to shorter-lasting relationships between end-points with many different security requirem...
Luca Compagna, Ulrich Flegel, Volkmar Lotz
WWW
2006
ACM
14 years 10 months ago
Relaxed: on the way towards true validation of compound documents
To maintain interoperability in the Web environment it is necessary to comply with Web standards. Current specifications of HTML and XHTML languages define conformance conditions ...
Jirka Kosek, Petr Nálevka
ECBS
2009
IEEE
130views Hardware» more  ECBS 2009»
14 years 4 months ago
Validating and Dynamically Adapting and Composing Features in Concurrent Product-Lines Applications
With the pressing in-time-market towards customized services, software product lines (SPL) are increasingly characterizing most of software landscape. SPL are mainly structured th...
Nasreddine Aoumeur, Kamel Barkaoui, Gunter Saake
ISMAR
2009
IEEE
14 years 4 months ago
A setup for evaluating detectors and descriptors for visual tracking
In many cases, visual tracking is based on detecting, describing, and then matching local features. A variety of algorithms for these steps have been proposed and used in tracking...
Steffen Gauglitz, Tobias Höllerer, Petra Krah...