4839 search results - page 815 / 968 » Providing SCORM with adaptivity |
164
click to vote
SECON
2010
IEEE
15 years 2 months ago
2010
IEEE
This paper bears on the design and the quantitative evaluation of MAC mechanisms for wireless ad-hoc networks with performance guarantees. By this, we mean mechanisms where each ac...
142
click to vote
SEMWEB
2010
Springer
15 years 2 months ago
2010
Springer
Recent technology developments in the area of services on the Web are marked by the proliferation of Web applications and APIs. The implementation and evolution of applications bas...
136
click to vote
SOCIALCOM
2010
15 years 2 months ago
2010
We interpret "mission assurance" to mean the guarantee that Mission Essential Functionality (MEF) provided by an information system is continued despite partial failures ...
175
click to vote
TACAS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...
173
click to vote
CIARP
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. Parallel texts are enriched by alignment algorithms, thus establishing a relationship between the structures of the implied languages. Depending on the alignment level, t...