554 search results - page 23 / 111 » Communicating Structures for Modeling Large-scale Systems |
PCI
2001
Springer
15 years 4 months ago
2001
Springer
Formal modeling of complex systems is a non-trivial task, especially if a formal method does not facilitate separate development of the components of a system. This paper describes...
104
click to vote
TOG
2012
13 years 2 months ago
2012
Humans have used sketching to depict our visual world since prehistoric times. Even today, sketching is possibly the only rendering technique readily available to all humans. This...
DAC
2004
ACM
16 years 21 days ago
2004
ACM
A tool that automates the floating-point to fixed-point conversion (FFC) process for digital signal processing systems is described. The tool automatically optimizes fixed-point d...
118
click to vote
CORR
2011
Springer
14 years 6 months ago
2011
Springer
—The article describes a course on system design (structural approach) which involves the following: issues of systems engineering; structural models; basic technological problem...
PUC
2002
14 years 11 months ago
2002
Location is one of the most important elements of context in ubiquitous computing. In this paper we describe a location model, a spatial-aware communication model and an implement...