Sciweavers

7628 search results - page 288 / 1526
» Spatial P systems
Sort
View
NHM
2010
89views more  NHM 2010»
15 years 1 months ago
Quasistatic evolution for Cam-Clay plasticity: The spatially homogeneous case
We study the spatially uniform case of the problem of quasistatic evolution in small strain nonassociative elastoplasticity (Cam-Clay model). Through the introdution of a viscous a...
Gianni Dal Maso, Francesco Solombrino
FSTTCS
2000
Springer
15 years 10 months ago
Model Checking CTL Properties of Pushdown Systems
: A pushdown system is a graph G(P) of configurations of a pushdown automaton P. The model checking problem for a logic L is: given a pushdown automaton P and a formula L decide ...
Igor Walukiewicz
SIGECOM
2004
ACM
120views ECommerce» more  SIGECOM 2004»
16 years 2 days ago
Robust incentive techniques for peer-to-peer networks
Lack of cooperation (free riding) is one of the key problems that confronts today’s P2P systems. What makes this problem particularly difficult is the unique set of challenges ...
Michal Feldman, Kevin Lai, Ion Stoica, John Chuang
WOWMOM
2009
ACM
124views Multimedia» more  WOWMOM 2009»
16 years 1 months ago
VAPS: Positioning with spatial constraints
The proliferation of mobile computing devices and local wireless networks has promoted a growing interest in location-aware systems. The problem with existing positioning techniqu...
Yesid Jarma, Golnaz Karbaschi, Marcelo Dias de Amo...
VISUALIZATION
2003
IEEE
15 years 12 months ago
Visualizing Spatial and Temporal Variability in Coastal Observatories
In this paper, we describe a set of 3D and 4D visualization tools and techniques for CORIE, a complex environmental observation and forecasting system (EOFS) for the Columbia Rive...
Walter Jiménez, Wagner Toledo Corrêa,...