3154 search results - page 126 / 631 » An annotation based approach to support design communication |
154
click to vote
ICNP
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper we present a new approach for the automated mapping of formal descriptions into activity thread implementations. Our approach resolves semantic conflicts by reorderi...
271
click to vote
ICDE
2008
IEEE
16 years 7 months ago
2008
IEEE
Supporting top-k queries over distributed collections of schemaless XML data poses two challenges. While XML supports expressive query languages such as XPath and XQuery, these la...
189
click to vote
MOBICOM
2012
ACM
13 years 9 months ago
2012
ACM
Indoor localization is of great importance for a range of pervasive applications, attracting many research efforts in the past decades. Most radio-based solutions require a proce...
218
click to vote
RSP
2005
IEEE
16 years 18 hour ago
2005
IEEE
Embedded signal processing systems are usually associated with real-time constraints and/or high data rates so that fully software implementation are often not satisfactory. In th...
152
click to vote
PEPM
2007
ACM
16 years 17 days ago
2007
ACM
A logic program strongly quasi-terminates when only a finite number of distinct atoms (modulo variable renaming) are derivable from any given query and computation rule. This noti...