2765 search results - page 177 / 553 » Spatio-temporal Models and Languages: An Approach Based on C... |
140
click to vote
CIKM
2009
Springer
16 years 1 months ago
2009
Springer
Leveraging information from relevance assessments has been proposed as an effective means for improving retrieval. We introduce a novel language modeling method which uses inform...
145
click to vote
ICCS
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. The Virtual Ecology Workbench (VEW) is a suite of utilities for creating, executing and analysing biological models of the ocean. At its core is a mathematical language a...
214
click to vote
DBSEC
2009
15 years 7 months ago
2009
With the rapid growth in wireless networks and sensor and mobile devices, we are moving towards an era of pervasive computing. Access control is challenging in these environments. ...
192
click to vote
CALCO
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Model-to-model (M2M) transformation consists in transforming models from a source to a target language. Many transformation languages exist, but few of them combine a dec...
170
click to vote
HASE
2008
IEEE
16 years 1 months ago
2008
IEEE
A high assurance system requires both functional and nonfunctional correctness before the system is put into operation. To examine whether a system’s actual performance complies...