1121 search results - page 90 / 225 » Model and Formalism Driven Development of Collaborative Appl... |
120
click to vote
BALT
2010
14 years 8 months ago
2010
Abstract. This paper addresses the pattern matching problem for model transformation languages. Despite being an NP-complete problem, the pattern matching can be solved efficiently...
116
click to vote
AINA
2007
IEEE
15 years 8 months ago
2007
IEEE
The widening gap between CPU and memory speed has made caches an integral feature of modern highperformance processors. The high degree of configurability of cache memory can requ...
ERSHOV
2003
Springer
15 years 7 months ago
2003
Springer
For reactive systems, a large collection of formal models has been developed. While the formal relationship between those models is often carefully analyzed, the methodical implica...
109
click to vote
IPSN
2009
Springer
15 years 8 months ago
2009
Springer
Data Driven Time Synchronization (DDTS) provides synchronization across sensors by using underlying characteristics of data collected by an embedded sensing system. We apply the c...
116
click to vote
DCOSS
2008
Springer
15 years 3 months ago
2008
Springer
Data-driven macroprogramming of wireless sensor networks (WSNs) provides an easy to use high-level task graph representation to the application developer. However, determining an e...