6660 search results - page 1064 / 1332 » Highly-Available Application Integration |
175
Voted
OTM
2009
Springer
15 years 11 months ago
2009
Springer
Grids currently serve as platforms for numerous scientific as well as business applications that generate and access vast amounts of data. In this paper, we address the need for e...
182
click to vote
CAV
2001
Springer
15 years 11 months ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...
179
click to vote
CCS
2001
ACM
15 years 11 months ago
2001
ACM
XML is increasingly becoming the format of choice for information exchange on the Internet. As this trend grows, one can expect that documents (or collections thereof) may get qui...
170
click to vote
CIKM
2001
Springer
15 years 11 months ago
2001
Springer
This paper describes how an integrated web-based application, code-named FOCI (Flexible Organizer for Competitive Intelligence), can help the knowledge worker in the gathering, or...
179
Voted
FPL
2001
Springer
15 years 11 months ago
2001
Springer
System and processor architectures depend on changes in technology. Looking ahead as die density and speed increase, power consumption and on chip interconnection delay become incr...