455 search results - page 33 / 91 » GLOSSER-RuG: in Support of Reading |
DATE
2008
IEEE
15 years 5 months ago
2008
IEEE
Property checking is a promising approach to prove the correctness of today’s complex designs. However, in practice this requires the formulation of formal properties which is a...
IPPS
2006
IEEE
15 years 5 months ago
2006
IEEE
In this paper we show how high-level UML models of mobile computing applications can be analysed for classical performance measures such as throughput. The approach proceeds by co...
71
Voted
MEMOCODE
2006
IEEE
15 years 5 months ago
2006
IEEE
Hand-held devices have rigid constraints regarding power dissipation and energy consumption. Whether a new functionality can be supported often depends upon its power requirements...
120
click to vote
PERCOM
2005
ACM
15 years 4 months ago
2005
ACM
A distributed system for approximate query answering on sensor network data is proposed, where a suitable compression technique is exploited to represent data and support query an...
GD
2005
Springer
15 years 4 months ago
2005
Springer
TreePlus is a graph browsing technique based on a tree-style layout. It shows the missing graph structure using interaction techniques and enables users to start with a specific no...