6530 search results - page 399 / 1306 » Application Integration |
177
click to vote
CSL
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Applications in software verification often require determining the satisfiability of first-order formulæ with respect to some background theories. During development...
187
click to vote
JUCS
2008
15 years 6 months ago
2008
: Contextual collaboration seamlessly integrates existing groupware technologies into a uniform user experience that combines synchronous and asynchronous interactions. This user e...
182
click to vote
ENTCS
2007
15 years 6 months ago
2007
Modern integrated development environments (IDEs) provide programmers with a variety of sophisticated tools for program visualization and manipulation. These tools assist the prog...
159
Voted
JSC
2010
15 years 5 months ago
2010
We present a new algorithm to compute the integral closure of a reduced Noetherian ring in its total ring of fractions. A modification, applicable in positive characteristic, whe...
193
click to vote
ITBAM
2010
15 years 4 months ago
2010
This paper analyzes the requirements and presents a novel approach to the development of a system for epidemiological data collection and integration based on the principles of int...