23413 search results - page 4420 / 4683 » or 2005 |
205
click to vote
CAISE
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. Future database application systems will be designed as Service Oriented Architectures (SOAs), in contrast to today’s monolithic architectures. The decomposition in man...
367
click to vote
CASSIS
2005
Springer
16 years 29 days ago
2005
Springer
Today many interactions are carried out online through Web sites and e-services and often private and/or sensitive information is required by service providers. A growing concern r...
196
click to vote
CAV
2005
Springer
16 years 29 days ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
273
click to vote
CAV
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. We propose a new technique for the static analysis of concurrent programs comprised of multiple threads. In general, the problem is known to be undecidable even for progr...
201
click to vote
CCA
2005
Springer
16 years 29 days ago
2005
Springer
kind Reals in Abstract Stone Duality Andrej Bauer and Paul Taylor 3 June 2009 Stone Duality (ASD) is a direct axiomatisation of general topology, in contrast to the traditional an...