641 search results - page 119 / 129 » Combining Aspects of Reactive Systems |
POPL
2012
ACM
12 years 2 months ago
2012
ACM
There has been great progress in recent years on developing effective techniques for reasoning about program equivalence in ML-like languages—that is, languages that combine fea...
CSREAESA
2003
13 years 8 months ago
2003
The combined benefits of Open Services Gateway Initiative (OSGi) and Smart card technologies in embedded devices have made the two technologies suitable for developing middleware ...
ESWS
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. Semantic Wikis have demonstrated the power of combining Wikis with Semantic Web technology. The KiWi system goes beyond Semantic Wikis by providing a flexible and adapta...
CCGRID
2008
IEEE
14 years 1 months ago
2008
IEEE
—The research area of Multimedia Content Analysis (MMCA) considers all aspects of the automated extraction of new knowledge from large multimedia data streams and archives. In re...
BMCBI
2007
13 years 6 months ago
2007
Background: Three-dimensional (3-D) visualization of multimodality neuroimaging data provides a powerful technique for viewing the relationship between structure and function. A n...