1357 search results - page 79 / 272 » Compositionality in Graph Transformation |
138
click to vote
ASE
1999
15 years 3 months ago
1999
Behaviour analysis should form an integral part of the software development process. This is particularly important in the design of concurrent and distributed systems, where comp...
135
click to vote
ICMT
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Pattern-based model-to-model transformation is a new approach for specifying transformations in a declarative, relational and formal style. The language relies on pattern...
156
Voted
ICDE
2007
IEEE
15 years 7 months ago
2007
IEEE
"Software as a service" approach has become a reality since efforts of both industry and research focused on service integration on the web. It would be possible to see ...
145
Voted
RTSS
1995
IEEE
15 years 6 months ago
1995
IEEE
E cient automatic model-checking algorithms for real-time systems have been obtained in recent years based on the state-region graph technique of Alur, Courcoubetis and Dill. Howe...
149
click to vote
ECRTS
2007
IEEE
15 years 9 months ago
2007
IEEE
Uniprocessor schedulability theory made great strides, in part, due to the simplicity of composing the delay of a job from the execution times of higher-priority jobs that preempt...