8959 search results - page 315 / 1792 » Composing aspects with aspects |
156
click to vote
AIIA
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In a recent work we have carried out CarpeDiem, a novel algorithm for the fast evaluation of Supervised Sequential Learning (SSL) classifiers. In this paper we point out...
180
click to vote
ECOOP
2008
Springer
15 years 8 months ago
2008
Springer
Wildcards are a complex and subtle part of the Java type system, present since version 5.0. Although there have been various formalisations and partial type soundness results conce...
186
click to vote
APCCM
2008
15 years 8 months ago
2008
On a high level of abstraction a Web Information System (WIS) can be described by a storyboard, which stract way specifies who will be using the system, in which way and for which...
189
click to vote
FMOODS
2007
15 years 8 months ago
2007
In this paper we present a formalization of Abadi’s and Cardelli’s theory of objects in the interactive theorem prover Isabelle/HOL. Our motivation is to build a mechanized HOL...
159
click to vote
HCI
2007
15 years 8 months ago
2007
In this paper we present a general definition of the concept ‘intuitive use of user interfaces' on the basis of our current interdisciplinary work. ‘Intuitive use’ is re...