Sciweavers

4205 search results - page 513 / 841
» Typed Mobile Objects
Sort
View
ASIAN
2006
Springer
98views Algorithms» more  ASIAN 2006»
15 years 10 months ago
Information Hiding in the Join Calculus
Abstract. We aim to provide information hiding support in concurrent object-oriented programming languages. We study the issue both at the object level and class level, in the cont...
Qin Ma 0002, Luc Maranget
FLOPS
2006
Springer
15 years 10 months ago
iData for the World Wide Web - Programming Interconnected Web Forms
Abstract. In this paper we present the iData Toolkit. It allows programmers to create interactive, dynamic web applications with state on evel of abstraction. The key element of th...
Rinus Plasmeijer, Peter Achten
LREC
2010
175views Education» more  LREC 2010»
15 years 8 months ago
Capturing Coercions in Texts: a First Annotation Exercise
In this paper we report the first results of an annotation exercise of argument coercion phenomena performed on Italian texts. Our corpus consists of ca 4000 sentences from the PA...
Elisabetta Jezek, Valeria Quochi
ENTCS
2008
80views more  ENTCS 2008»
15 years 6 months ago
Idempotents in Dagger Categories: (Extended Abstract)
d abstract) Peter Selinger1 Department of Mathematics and Statistics Dalhousie University, Halifax, Nova Scotia, Canada Dagger compact closed categories were studied by Abramsky a...
Peter Selinger
IJMMS
2006
93views more  IJMMS 2006»
15 years 6 months ago
Presence, workload and performance effects of synthetic environment design factors
There remains a limited understanding of factors in presence and its relation to performance. This research examined a range of synthetic environment (SE) design features (viewpoi...
Ruiqi Ma, David B. Kaber