Sciweavers

6660 search results - page 440 / 1332
» Highly-Available Application Integration
Sort
View
MMNS
2004
80views Multimedia» more  MMNS 2004»
15 years 8 months ago
SIPC, a multi-function SIP user agent
Integrating multiple functions into one communication user agent can introduce many innovative communication services. For example, with networked appliance control, a user agent c...
Xiaotao Wu, Henning Schulzrinne
CG
2007
Springer
15 years 6 months ago
Storylines: Visual exploration and analysis in latent semantic spaces
Tasks in visual analytics differ from typical information retrieval tasks in fundamental ways. A critical part of a visual analytics is to ask the right questions when dealing wit...
Weizhong Zhu, Chaomei Chen
DKE
2007
116views more  DKE 2007»
15 years 6 months ago
A concurrent rule scheduling algorithm for active rules
The use of rules in a distributed environment creates new challenges for the development of active rule execution models. In particular, since a single event can trigger multiple ...
Ying Jin, Susan Darling Urban, Suzanne W. Dietrich
WWW
2006
ACM
16 years 7 months ago
Capturing RIA concepts in a web modeling language
This work addresses conceptual modeling and automatic code generation for Rich Internet Applications, a variant of Web-based systems bridging the gap between desktop and Web inter...
Alessandro Bozzon, Sara Comai, Piero Fraternali, G...
CADE
2007
Springer
16 years 7 months ago
System Description: E-KRHyper
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...
Björn Pelzer, Christoph Wernhard