Sciweavers

4971 search results - page 302 / 995
» Observation systems
Sort
View
CONCUR
2010
Springer
15 years 7 months ago
Theory by Process
Abstract. Theories defined in a process model are formalized and studied. A theory in a process calculus is a set of perpetually available processes with finite interactability, ea...
Yuxi Fu
GISCIENCE
2010
Springer
171views GIS» more  GISCIENCE 2010»
15 years 7 months ago
A Visibility and Spatial Constraint-Based Approach for Geopositioning
Over the past decade, automated systems dedicated to geopositioning have been the object of considerable development. Despite the success of these systems for many applications, th...
Jean-Marie Le Yaouanc, Eric Saux, Christophe Clara...
JSCIC
2008
67views more  JSCIC 2008»
15 years 6 months ago
Superposition of Multi-Valued Solutions in High Frequency Wave Dynamics
The weakly coupled WKB system captures high frequency wave dynamics in many applications. For such a system a level set method framework has been recently developed to compute mult...
Hailiang Liu, Zhongming Wang
REPLICATION
2010
15 years 5 months ago
Replicating for Performance: Case Studies
In this chapter we take a look at the application of replication techniques for building scalable distributed systems. Unlike using replication for attaining dependability, replica...
Maarten van Steen, Guillaume Pierre
ISCAS
2011
IEEE
194views Hardware» more  ISCAS 2011»
14 years 10 months ago
Bifurcation and basin in two coupled parametrically forced logistic maps
— Two coupled logistic maps whose parameters are forced into periodic varying are investigated. From the investigation of bifurcation in this system, nonexistence of odd periodic...
Hironori Kumeno, Yoshifumi Nishio, Daniele Fournie...