592 search results - page 77 / 119 » CTL Model Update: Semantics, Computations and Implementation |
SDM
2009
SIAM
14 years 7 months ago
2009
SIAM
Automotive companies are forced to continuously extend and improve their product line-up. However, increasing diversity, higher design complexity, and shorter development cycles c...
CODES
1999
IEEE
14 years 2 months ago
1999
IEEE
We propose a system synthesis method which bridges the gap between a highly abstract functional model and an efficient hardware or software implementation. The functional model is...
SDM
2009
SIAM
14 years 7 months ago
2009
SIAM
In this paper, we propose a privacy model that offers trajectory privacy to the requesters of Location-Based Services (LBSs), by utilizing an underlying network of user movement. ...
GI
2009
Springer
14 years 2 months ago
2009
Springer
: In this paper we present the concurrent constraint functional programming CCFL and an abstract machine for the evaluation of CCFL programs in a multicore environment. The source ...
CGI
1998
IEEE
14 years 2 months ago
1998
IEEE
This paper presents a new architecture of a database management system intended to be used together with existing graphics software. In the first place, a system with this archite...