1554 search results - page 177 / 311 » An Overview of the Spring System |
ICWS
2009
IEEE
14 years 6 months ago
2009
IEEE
In this paper, we propose an Internet public Web service matching approach that paves the way for (semi-)automatic service mashup. We will first provide the overview of the soluti...
ICCAD
2003
IEEE
14 years 6 months ago
2003
IEEE
Dynamic Power Management or DPM refers to the problem of judicious application of various low power techniques based on runtime conditions in an embedded system to minimize the to...
CADE
2009
Springer
14 years 4 months ago
2009
Springer
SPASS is an automated theorem prover for full first-order logic with equality and a number of non-classical logics. This system description provides an overview of our recent deve...
ICASSP
2009
IEEE
14 years 3 months ago
2009
IEEE
We present an overview of the data collection and transcription efforts for the COnversational Speech In Noisy Environments (COSINE) corpus. The corpus is a set of multi-party con...
OSS
2009
Springer
14 years 3 months ago
2009
Springer
Abstract The reuse of Open Source Software components available on the Internet is playing a major role in the development of Component Based Software Systems. Nevertheless, the sp...