4348 search results - page 472 / 870 » Using UML for Modeling Complex Real-Time Systems |
211
click to vote
HASKELL
2005
ACM
16 years 10 days ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
167
click to vote
WSDM
2010
ACM
16 years 4 months ago
2010
ACM
In addition to the actual content Web pages consist of navigational elements, templates, and advertisements. This boilerplate text typically is not related to the main content, ma...
176
click to vote
TSP
2008
15 years 6 months ago
2008
Abstract-- This paper addresses the problem of tracking extended objects, such as ships or a convoy of vehicles moving in urban environment. Two Monte Carlo techniques for extended...
217
click to vote
INFORMS
1998
15 years 6 months ago
1998
High-level formalisms such as stochastic Petri nets can be used to model complex systems. Analysis of logical and numerical properties of these models often requires the generatio...
234
Voted
PC
2006
15 years 6 months ago
2006
Cellular automata (CA) are discrete dynamic systems that have been used for modeling many physical systems. CA are often used as an alternative to model and solve large-scale syst...