5232 search results - page 790 / 1047 » Generative modeling: a symbolic system for geometric modelin... |
180
click to vote
TC
2008
15 years 6 months ago
2008
Collaborative applications with energy and low-delay constraints are emerging in various networked embedded systems like wireless sensor networks and multimedia terminals. Conventi...
178
click to vote
ISPAN
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper is concerned with the transparent parallelisation of declarative database queries, based on theoretical principles. We have designed an entire database architecture sui...
248
click to vote
JTAER
2010
15 years 1 months ago
2010
With the emergence of the e-Catalog, there has been an increasingly wide application of commodities query in distributed environment in the field of e-commerce. But e-Catalog is o...
224
click to vote
SIGSOFT
2006
ACM
16 years 17 days ago
2006
ACM
Bitwise operations are commonly used in low-level systems code to access multiple data fields that have been packed into a single word. Program analysis tools that reason about s...
162
click to vote
FM
2005
Springer
16 years 4 days ago
2005
Springer
The Mondex Electronic Purse system [18] is an outstanding example of formal refinement techniques applied to a genuine industrial scale application, and notably, was the first ve...