Sciweavers

3215 search results - page 212 / 643
» Content Models with Attitude
Sort
View
AC
2005
Springer
15 years 7 months ago
Software model checking with SPIN
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...
Gerard J. Holzmann
CIKM
2010
Springer
15 years 2 months ago
Modeling betweenness for question answering
The gap between the user's information need and query is expanding due to the pervasiveness of Web search. Multimedia question answering is restricted by disjoint infrastruct...
Brandeis Marshall
CSMR
2010
IEEE
15 years 2 months ago
Under and Over Approximation of State Models Recovered for Ajax Applications
Abstract--In contrast to conventional multi-page Web applications, an Ajax application is developed as a single-page application in which content and structure are changed at runti...
Alessandro Marchetto, Paolo Tonella, Filippo Ricca
ICIP
2006
IEEE
16 years 8 months ago
A Model for the Electronic Representation of Bank Checks
The substitution of physical bank check exchange by electronic check image transfer brings agility, security and cost reduction to the clearing system. In this paper, we propose a...
Danilo Dias, Ricardo L. de Queiroz
GLOBECOM
2007
IEEE
16 years 1 months ago
Modeling the 802.11e Enhanced Distributed Channel Access Function
—The Enhanced Distributed Channel Access (EDCA) function of IEEE 802.11e standard defines multiple Access Categories (AC) with AC-specific Contention Window (CW) sizes, Arbitra...
Inanc Inan, Feyza Keceli, Ender Ayanoglu