12981 search results - page 2438 / 2597 » Model Checking (Abstract) |
146
Voted
JSAC
2010
14 years 10 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...
151
click to vote
JUCS
2010
14 years 10 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...
171
Voted
JUCS
2010
14 years 10 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...
130
Voted
MOC
2010
14 years 10 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...
145
Voted
SEMWEB
2010
Springer
14 years 10 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...