Sciweavers

2555 search results - page 171 / 511
» Putting complex systems to work
Sort
View
IANDC
2006
103views more  IANDC 2006»
15 years 6 months ago
Bisimulation and cocongruence for probabilistic systems
We introduce a new notion of bisimulation, called event bisimulation on labelled Markov processes (LMPs) and compare it with the, now standard, notion of probabilistic bisimulatio...
Vincent Danos, Josee Desharnais, François L...
ENVSOFT
2007
97views more  ENVSOFT 2007»
15 years 6 months ago
Coupled human and natural systems: A multi-agent-based approach
A major force affecting many forest ecosystems is the encroachment of residential, commercial and industrial development. Analysis of the complex interactions between development ...
Michael Monticino, Miguel F. Acevedo, Baird Callic...
PUC
2002
143views more  PUC 2002»
15 years 6 months ago
TRIP: A Low-Cost Vision-Based Location System for Ubiquitous Computing
: Sentient Computing provides computers with perception so that they can react and provide assistance to user activities. Physical spaces are made sentient when they are wired with...
Diego López de Ipiña, Paulo R. S. Me...
SOSYM
2010
119views more  SOSYM 2010»
15 years 1 months ago
Formal specification of non-functional properties of component-based software systems
Component-based software engineering (CBSE) is viewed as an opportunity to deal with the increasing complexity of modern-day software. Along with CBSE comes the notion of component...
Steffen Zschaler
PDP
2010
IEEE
16 years 1 months ago
Lessons Learnt Porting Parallelisation Techniques for Irregular Codes to NUMA Systems
—This work presents a study undertaken to characterise the behaviour of some parallelisation techniques for irregular codes, previously developed for SMP architectures, on a seve...
Juan Angel Lorenzo, Juan Carlos Pichel, David LaFr...