6530 search results - page 425 / 1306 » Application Integration |
191
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
The E-KRHyper system is a model generator and theorem prover for first-order logic with equality. It implements the new E-hyper tableau calculus, which integrates a superposition-b...
219
click to vote
AINA
2007
IEEE
16 years 1 months ago
2007
IEEE
Web applications are generally less interactive than desktop applications. Due to the simple request-response model between web browsers and web servers, users usually experience ...
153
click to vote
BTW
2007
Springer
16 years 29 days ago
2007
Springer
: The MISTRAL system, a service oriented architecture for semantic extraction of multimedia data from meeting recordings is described shortly. It improves on other similar systems ...
172
Voted
HPDC
2006
IEEE
16 years 25 days ago
2006
IEEE
High performance application development remains challenging, particularly for scientists making the transition to a Grid environment. In general areas of computing, virtual envir...
166
click to vote
AICT
2005
IEEE
16 years 12 days ago
2005
IEEE
Integration of different radio access networks will become a reality in a near future. Our interworking architecture assumes a ubiquitous primary network (the cellular one) and se...