1772 search results - page 119 / 355 » The Model Coupling Toolkit |
CAV
2009
Springer
15 years 12 months ago
2009
Springer
We present HOMER, an observational-equivalence model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration. It works by first translating terms of the...
PDP
2007
IEEE
15 years 5 months ago
2007
IEEE
The success of groupware software largely depends on its capability for being reused in different collaborative scenarios without requiring significant software development effort...
103
click to vote
VRST
2005
ACM
15 years 5 months ago
2005
ACM
Many mixed-reality systems require real-time composition of virtual objects with real video. Such composition requires some description of the virtual and real scene geometries an...
117
click to vote
DASFAA
2008
IEEE
15 years 5 months ago
2008
IEEE
Abstract. Recently, we have proposed a novel method for the compression of time series based on mathematical models that explore dependencies between different time series. This r...
SSDBM
2005
IEEE
15 years 5 months ago
2005
IEEE
As with many large organizations, the Government's data is split in many different ways and is collected at different times by different people. The resulting massive data he...