Sciweavers

1736 search results - page 290 / 348
» The rank-width of Directed Graphs
Sort
View
176
Voted
LICS
2003
IEEE
15 years 5 months ago
Model checking for probability and time: from theory to practice
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
Marta Z. Kwiatkowska
92
Voted
TPCG
2003
IEEE
15 years 5 months ago
Intuitive Crowd Behaviour in Dense Urban Environments using Local Laws
In games, entertainment, medical and architectural applications, the creation of populated virtual city environments has recently become widespread. In this paper we want to provi...
Céline Loscos, David Marchal, Alexandre Mey...
94
Voted
WCRE
2003
IEEE
15 years 5 months ago
Identification of Software Instabilities
As software evolves, maintenance practices require a process of accommodating changing requirements while minimizing the cost of implementing those changes. Over time, incompatibi...
Jennifer Bevan, E. James Whitehead Jr.
98
Voted
CONCUR
2003
Springer
15 years 5 months ago
A Compositional Semantic Theory for Synchronous Component-based Design
Abstract. Digital signal processing and control (DSPC) tools allow application developers to assemble systems by connecting predefined components in signal–flow graphs and by h...
Barry Norton, Gerald Lüttgen, Michael Mendler
COSIT
2003
Springer
132views GIS» more  COSIT 2003»
15 years 5 months ago
"Simplest" Paths: Automated Route Selection for Navigation
Numerous cognitive studies have indicated that the form and complexity of route instructions may be as important to human navigators as the overall length of route. Most automated ...
Matt Duckham, Lars Kulik