1099 search results - page 185 / 220 » Using Transformation Systems for Software Maintenance and Re... |
140
click to vote
CODES
2009
IEEE
15 years 10 months ago
2009
IEEE
The FlexRay bus is the prospective automotive standard communication system. For the sake of a high flexibility, the protocol includes a static time-triggered and a dynamic event...
181
click to vote
ECOOP
2000
Springer
15 years 7 months ago
2000
Springer
We have recently shown how use cases can be systematically transformed into UML state charts considering all relevant information from a use case specification, including pre- and ...
143
click to vote
LCPC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. A fundamental problem in the analysis of parallel programs is to determine when two statements in a program may run concurrently. This analysis is the parallel analog to ...
141
click to vote
SENSYS
2005
ACM
15 years 8 months ago
2005
ACM
In this paper we present a novel platform for underwater sensor networks to be used for long-term monitoring of coral reefs and fisheries. The sensor network consists of static a...
120
click to vote
FSTTCS
2009
Springer
15 years 9 months ago
2009
Springer
Linear temporal logic was introduced in order to reason about reactive systems. It is often considered with respect to infinite words, to specify the behaviour of long-running sys...