1980 search results - page 315 / 396 » Compositional Model Checking of Real Time Systems |
WSC
2004
13 years 11 months ago
2004
This paper discusses a two-step virtual reality based conceptual design tool that enables industrial designers to create sketches of their ideas in 3-dimensional space in real tim...
SCESM
2006
ACM
14 years 4 months ago
2006
ACM
As technical systems keep growing more complex and sophisticated, designing software for the safety-critical coordination between their components becomes increasingly difficult....
CSDA
2007
13 years 10 months ago
2007
This article proposes a Bayesian infinite mixture model for the estimation of the conditional density of an ergodic time series. A nonparametric prior on the conditional density ...
SIGGRAPH
1999
ACM
14 years 2 months ago
1999
ACM
The motion of fluids has been a topic of study for hundredsof years. In its most general setting, fluid flow is governed by a system of non-linear partial differential equation...
WSDM
2010
ACM
14 years 7 months ago
2010
ACM
Activity in social media such as blogs, micro-blogs, social networks, etc is manifested via interaction that involves text, images, links and other information items. Naturally, s...