Sciweavers

4099 search results - page 442 / 820
» First Class Patterns
Sort
View
ECOOP
2005
Springer
16 years 11 days ago
Efficient Multimethods in a Single Dispatch Language
Smalltalk-80 is a pure object-oriented language in which messages are dispatched according to the class of the receiver, or first argument, of a message. Object-oriented languages ...
Brian Foote, Ralph E. Johnson, James Noble
ESOP
2005
Springer
16 years 10 days ago
Towards a Type System for Analyzing JavaScript Programs
JavaScript is a popular language for client-side web scripting. It has a dubious reputation among programmers for two reasons. First, many JavaScript programs are written against a...
Peter Thiemann
TEAA
2005
Springer
116views Hardware» more  TEAA 2005»
16 years 9 days ago
MDA and Analysis of Web Applications
Enterprise systems are mission critical. As a result, ensuring their correctness is of primary concern. This paper aids to the analysis of Web Applications, focusing on the aspects...
Behzad Bordbar, Kyriakos Anastasakis
155
Voted
CONCUR
2004
Springer
16 years 6 days ago
Model Checking Timed Automata with One or Two Clocks
In this paper, we study model checking of timed automata (TAs), and more precisely we aim at finding efficient model checking for subclasses of TAs. For this, we consider model ch...
François Laroussinie, Nicolas Markey, Ph. S...
ICIAR
2004
Springer
16 years 6 days ago
A Coarse-to-Fine Classification Scheme for Facial Expression Recognition
Abstract. In this paper, a coarse-to-fine classification scheme is used to recognize facial expressions (angry, disgust, fear, happiness, neutral, sadness and surprise) of novel ex...
Xiaoyi Feng, Abdenour Hadid, Matti Pietikäine...