Sciweavers

3872 search results - page 313 / 775
» The Java memory model
Sort
View
GIS
2008
ACM
16 years 5 months ago
Computing isochrones in multi-modal, schedule-based transport networks
Isochrones are defined as the set of all points from which a specific point of interest is reachable within a given time span. This demo paper presents a solution to compute isoch...
Veronika Bauer, Johann Gamper, Roberto Loperfido, ...
116
Voted
PERCOM
2007
ACM
16 years 3 months ago
MundoCore: A light-weight infrastructure for pervasive computing
MundoCore is a communication middleware specifically designed for the requirements of pervasive computing. To address the high degree of heterogeneity of platforms and networking ...
Erwin Aitenbichler, Jussi Kangasharju, Max MühlhÃ...
99
Voted
CIMCA
2006
IEEE
15 years 10 months ago
Investigating Organisational Structures with Networks of Planning Agents
In this paper, we present a simulation model specifically for investigating formal and informal organisational structures. CAVALIER-NPA (Networks of Planning Agents) is an agent-b...
Anthony Dekker, Lavindra de Silva
PET
2004
Springer
15 years 9 months ago
Language-Based Enforcement of Privacy Policies
Abstract. We develop a language-based approach for modeling and verifying aspects of privacy policies. Our approach relies on information-flow control. Concretely, we use the prog...
Katia Hayati, Martín Abadi
VISSOFT
2002
IEEE
15 years 8 months ago
Visualization of Component-based Software
New component-based techniques are emerging, leading to new ways to develop software. Industrial component technologies such as COM, JavaBeans, EJB, or CCM are powerful but their ...
Jean-Marie Favre, Humberto Cervantes