29172 search results - page 146 / 5835 » Modeling Systems in CLP |
138
click to vote
HICSS
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper describes a collaborative multiagent modeling and simulation approach for designing work systems. The Brahms environment is used to model mission operations for a semi-...
114
click to vote
GMP
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper describes a system which converts a twodimensional sketch with hidden lines removed of a single polyhedral object into a boundary representation solid model. The system...
113
click to vote
DAGSTUHL
2006
15 years 4 months ago
2006
Previous works define the notion of system model, which provides a formal basis for the definition of the semantics of a distributed object-oriented modelling language. This articl...
145
click to vote
CORR
2010
Springer
15 years 16 days ago
2010
Springer
This paper motivates the need for a formalism for the modelling and analysis of dynamic reconfiguration of dependable real-time systems. We present requirements that the formalism ...
117
click to vote
ASPDAC
2005
ACM
15 years 8 months ago
2005
ACM
- This paper presents a comparison between three different high-level modeling approaches for embedded systems design, focusing on systems that require dataflow models. The propose...