361 search results - page 31 / 73 » A compositional approach to statecharts semantics |
IFM
2000
Springer
15 years 1 months ago
2000
Springer
This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes ...
AH
2006
Springer
15 years 3 months ago
2006
Springer
This paper provides a solution to discourse structure adaptation in the process of automatic hypermedia presentation generation. Existing approaches to discourse structure composit...
ECMDAFA
2006
Springer
15 years 1 months ago
2006
Springer
Building service-based architectures has become a major area of interest since the advent of Web services. Modelling these architectures is a central activity. Model-driven archite...
103
click to vote
ICWS
2009
IEEE
14 years 7 months ago
2009
IEEE
MapReduce has recently gained a lot of attention as a parallel programming model for scalable data-intensive business and scientific analysis. In order to benefit from this powerf...
CGF
2006
14 years 9 months ago
2006
Composite images are synthesized from existing photographs by artists who make concept art, e.g., storyboards for movies or architectural planning. Current techniques allow an art...