2593 search results - page 434 / 519 » constraints 2007 |
161
click to vote
IPSN
2007
Springer
16 years 15 days ago
2007
Springer
We previously presented a model for some wireless sensor and actuator network (WSAN) applications based on the vector space tools of frame theory. In this WSAN model there is a we...
196
click to vote
IPSN
2007
Springer
16 years 15 days ago
2007
Springer
Localization is an essential service for many wireless sensor network applications. While several localization schemes rely on anchor nodes and range measurements to achieve fine...
159
click to vote
KSEM
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. It has been widely recognized that the relative priority of requirements can help developers to resolve inconsistencies and make some necessary trade-off decisions. Howe...
171
click to vote
LOPSTR
2007
Springer
16 years 15 days ago
2007
Springer
Static analyses of object-oriented programs usually rely on intermediate representations that respect the original semantics while having a more uniform and basic syntax. Most of t...
196
click to vote
LOPSTR
2007
Springer
16 years 15 days ago
2007
Springer
CooML is an object-oriented modeling language where specifications are theories in a constructive logic designed to handle incomplete information. In this logic we view snapshots ...