1140 search results - page 165 / 228 » Embedded Software: Better Models, Better Code |
133
click to vote
HYBRID
2005
Springer
15 years 8 months ago
2005
Springer
In this paper, we present a new design methodology for synchronous reactive systems, based on a clear separation between control and data flow parts. This methodology allows to fa...
105
click to vote
SEKE
2004
Springer
15 years 8 months ago
2004
Springer
The textual Object Constraint Language (OCL) is an official part of the Unified Modeling Language (UML). A new concept in the recently adopted OCL version 2.0 is the notion of O...
126
click to vote
IWFM
1998
15 years 4 months ago
1998
It is widely recognized that there is a body of mathematics which is crucial to the underpinning of computer science, software engineering, and information and communications tech...
135
click to vote
COMCOM
2006
15 years 3 months ago
2006
the extensibility and evolution of network services and protocols had become a major research issue in recent years. The 'programmable' and 'active' network par...
120
click to vote
WDAG
2009
Springer
15 years 9 months ago
2009
Springer
We study the convergence times of dynamics in games involving graphical relationships of players. Our model of local interaction games generalizes a variety of recently studied ga...