12333 search results - page 2281 / 2467 » System Level Modelling for Hardware Software Systems |
135
click to vote
IV
2009
IEEE
15 years 9 months ago
2009
IEEE
Interactive 3D geovirtual environments (GeoVE), such as 3D virtual city and landscape models, are important tools to communicate geo-spatial information. Usually, this includes st...
101
Voted
CAV
2007
Springer
15 years 8 months ago
2007
Springer
Liveness temporal properties state that something “good” eventually happens, e.g., every request is eventually granted. In Linear Temporal Logic (LTL), there is no a priori bo...
109
Voted
PPOPP
2005
ACM
15 years 8 months ago
2005
ACM
The previous research on cluster-based servers has focused on homogeneous systems. However, real-life clusters are almost invariably heterogeneous in terms of the performance, cap...
104
click to vote
HUC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We present Supple, a novel toolkit which automatically generates interfaces for ubiquitous applications. Designers need only specify declarative models of the interface a...
124
click to vote
PKDD
2005
Springer
15 years 8 months ago
2005
Springer
Location-awareness and prediction of future locations is an important problem in pervasive and mobile computing. In cellular systems (e.g., GSM) the serving cell is easily availabl...