1703 search results - page 224 / 341 » Model interoperability via Model Driven Development |
104
click to vote
DIAGRAMS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Information graphics found in popular media contain communicative signals which help the viewer infer the graphic designer's intended message. One signal is the rela...
128
click to vote
WSC
1997
15 years 6 months ago
1997
We introduce SIDE (the acronym stands for Sensors In a Distributed Environment)—a software package for developing control programs for reactive systems. One distinctive feature ...
161
click to vote
CCGRID
2006
IEEE
15 years 11 months ago
2006
IEEE
— Desktop grids use the idle cycles of desktop PC’s to provide huge computational power at low cost. However, because the underlying desktop computing resources are volatile, a...
127
click to vote
ICAT
2003
IEEE
15 years 10 months ago
2003
IEEE
The motivation for this project was to find a way to give engineers, and the community affected by Civil Engineering work, information that is often difficult to visualise via com...
169
Voted
IC3
2009
15 years 2 months ago
2009
Abstract. This paper presents liveness properties that need to be preserved by Event-B models of distributed systems. Event-B is a formal technique for development of models of dis...