592 search results - page 77 / 119 » CTL Model Update: Semantics, Computations and Implementation |
127
click to vote
SDM
2009
SIAM
15 years 11 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...
117
click to vote
CODES
1999
IEEE
15 years 6 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...
111
click to vote
SDM
2009
SIAM
15 years 11 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
15 years 6 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 ...
123
click to vote
CGI
1998
IEEE
15 years 6 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...