Sciweavers

1830 search results - page 329 / 366
» Centering in Dynamic Semantics
Sort
View
ECOOP
2008
Springer
15 years 28 days ago
Computing Stack Maps with Interfaces
Abstract. Lightweight bytecode verification uses stack maps to annotate Java bytecode programs with type information in order to reduce the verification to type checking. This pape...
Frédéric Besson, Thomas P. Jensen, T...
94
Voted
IESA
2007
15 years 21 days ago
A Security Framework for Smart Ubiquitous Industrial Resources
Conventional approaches to manage and control security seem to have reached their limits in new complex environments. These environments are open, dynamic, heterogeneous, distribut...
Anton Naumenko, Artem Katasonov, Vagan Y. Terziyan
BIS
2007
93views Business» more  BIS 2007»
15 years 18 days ago
Homogeneous Temporal Activity Patterns in a Large Online Communication Space
The many-to-many social communication activity on the popular technology-news website Slashdot has been studied. We have concentrated on the dynamics of message production without...
Andreas Kaltenbrunner, Vicenç Gómez,...
95
Voted
LREC
2010
191views Education» more  LREC 2010»
15 years 18 days ago
Spatial Role Labeling: Task Definition and Annotation Scheme
One of the essential functions of natural language is to talk about spatial relationships between objects. Linguistic constructs can express highly complex, relational structures ...
Parisa KordJamshidi, Martijn van Otterlo, Marie-Fr...
DIMVA
2008
15 years 18 days ago
On Race Vulnerabilities in Web Applications
Abstract A web programmer often conceives its application as a sequential entity, thus neglecting the parallel nature of the underlying execution environment. In this environment, ...
Roberto Paleari, Davide Marrone, Danilo Bruschi, M...