2411 search results - page 434 / 483 » Information Integration in Service-oriented Computing |
126
click to vote
LSGRID
2004
Springer
15 years 7 months ago
2004
Springer
High-throughput proteome annotation refers to the activity of extracting information from all proteins in a particular organism using bioinformatics software on a high performance ...
102
click to vote
SAC
2003
ACM
15 years 7 months ago
2003
ACM
Recent developments in mobile technologies and associated economies of scale via mature manufacturing processes have made possible the construction of pervasive systems in specifi...
112
Voted
EICS
2009
ACM
15 years 6 months ago
2009
ACM
We describe work in progress on tools and infrastructure to support adaptive component-based software for mobile devices— in our case, Apple iPhones. Our high level aim is ‘de...
130
click to vote
NPAR
2000
ACM
15 years 6 months ago
2000
ACM
Researchers in nonphotorealistic rendering (NPR) have investigated a variety of techniques to simulate the styles of artists. Recent work has resulted in methods for pen-and-ink i...
151
click to vote
CADE
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...