2123 search results - page 208 / 425 » Composition of Cyber-Physical Systems |
152
click to vote
ICECCS
2005
IEEE
16 years 6 days ago
2005
IEEE
When designing a complex system, Object-Z is a powerful logic-based language for modeling the system state aspects, and Timed Automata is an excellent graph-based notation for cap...
158
click to vote
LCTRTS
2005
Springer
16 years 3 days ago
2005
Springer
— We present design patterns used by software components in the TinyOS operating system. They differ significantly from traditional software design patterns due to TinyOS’s fo...
170
Voted
WAIM
2005
Springer
16 years 2 days ago
2005
Springer
Species distribution prediction modeling plays a key role in biodiversity research. We propose to publish both species distribution data and modeling components as Web services and...
199
click to vote
WORDS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents a method to analyze the timing behavior of an event-based real-time protocol composition framework. The framework, called RT-Appia, allows the development and ...
164
click to vote
ICSE
1993
IEEE-ACM
15 years 10 months ago
1993
IEEE-ACM
Software designers compose systems from components written in some prolanguage. They regularly describe systems using abstract patterns and sophisticated relations among component...