1027 search results - page 161 / 206 » Representing and Reasoning with Operational Semantics |
146
click to vote
CBMS
2002
IEEE
15 years 5 months ago
2002
IEEE
The need for systems that can stock, represent, and provide efficient retrieval facilities of images of particular interest is becoming very high in medicine. In this respect, a l...
123
click to vote
LCPC
2009
Springer
15 years 5 months ago
2009
Springer
PC grids represent massive computation capacity at a low cost, but are challenging to employ for parallel computing because of variable and unpredictable performance and availabili...
135
Voted
DAWAK
2010
Springer
15 years 23 days ago
2010
Springer
Abstract. Although many proposals exist for extending Geographic Information Systems (GIS) with OLAP and data warehousing capabilities (a topic denoted SOLAP), only recently the im...
143
click to vote
CANS
2006
Springer
15 years 4 months ago
2006
Springer
Software watermarking is a new research area that aims at providing copyright protection for commercial software. It minimizes software piracy by hiding copyright signatures inside...
ENTCS
1998
15 years 7 days ago
1998
We obtain a new formalism for concurrent object-oriented languages by extending Abadi and Cardelli's imperative object calculus with operators for concurrency from the -calc...