374 search results - page 73 / 75 » Towards Translating Graph Transformation Approaches by Model... |
ICSE
2008
IEEE-ACM
14 years 6 months ago
2008
IEEE-ACM
Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support...
SIGMOD
2009
ACM
14 years 6 months ago
2009
ACM
As business intelligence becomes increasingly essential for organizations and as it evolves from strategic to operational, the complexity of Extract-Transform-Load (ETL) processes...
IMAGING
2000
13 years 7 months ago
2000
Recent developments in spectral imaging are pointing toward a future where the demands on color management will require a richer infrastructure than that which is currently offere...
PODC
2004
ACM
13 years 11 months ago
2004
ACM
We propose a framework to translate certain subclasses of differential equation systems into distributed protocols that are practical. The synthesized protocols are state machine...
ICSE
2008
IEEE-ACM
14 years 6 months ago
2008
IEEE-ACM
WS-BPEL applications are a kind of service-oriented application. They use XPath extensively to integrate loosely-coupled workflow steps. However, XPath may extract wrong data from...