12981 search results - page 2438 / 2597 » Model Checking (Abstract) |
186
click to vote
JSAC
2010
15 years 1 months ago
2010
Abstract-- We identify an analytical expression for the distortion of a scalable video bitstream containing a Base Layer (BL) and one or more Enhancement Layer (EL) bitstreams. Con...
202
click to vote
JUCS
2010
15 years 1 months ago
2010
Abstract: This paper presents SMarty, a variability management approach for UMLbased software product lines (PL). SMarty is supported by a UML profile, the SMartyProfile, and a pro...
225
click to vote
JUCS
2010
15 years 1 months ago
2010
Abstract: One of the difficulties that self-directed learners face on their learning process is choosing the right learning resources. One of the goals of adaptive educational syst...
169
click to vote
MOC
2010
15 years 1 months ago
2010
Abstract. We prove pointwise a posteriori error estimates for semi- and fullydiscrete finite element methods for approximating the solution u to a parabolic model problem. Our esti...
190
click to vote
SEMWEB
2010
Springer
15 years 1 months ago
2010
Springer
The modalities of search and browse dominate current thinking about interaction with the Web. Given the Web's origins as a global hypertext system, it is understandable that t...