Sciweavers

3872 search results - page 313 / 775
» The Java memory model
Sort
View
GIS
2008
ACM
16 years 7 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, ...
PERCOM
2007
ACM
16 years 6 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Ã...
CIMCA
2006
IEEE
16 years 24 days 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
16 years 2 days 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
183
Voted
VISSOFT
2002
IEEE
15 years 11 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