1888 search results - page 166 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
142
Voted
TCSV
2008
15 years 3 months ago
2008
Abstract--Various 3-D face synthesis techniques have been proposed and extensively used in many applications. Compared with others, single view-based face synthesis technology allo...
143
click to vote
EDBT
2008
ACM
15 years 5 months ago
2008
ACM
The mobile phone industry has reached a saturation point. With low growth rates and fewer new customers available to acquire, competition among mobile operators is now focused on ...
116
Voted
MKM
2004
Springer
15 years 9 months ago
2004
Springer
This paper describes technologies to create and maintain a problem solving environment based on a framework for distributed mathematical web services. Our approach allows clients t...
142
Voted
ILP
2003
Springer
15 years 9 months ago
2003
Springer
This work presents the application of theory revision to the design of distributed databases to automatically revise a heuristic-based algorithm (called analysis algorithm) through...
185
Voted
WOSP
1998
ACM
15 years 8 months ago
1998
ACM
The POEMS project is creating an environment for end-to-end performance modeling of complex parallel and distributed systems, spanning the domains of application software, runti...