1444 search results - page 250 / 289 » The end of users |
101
click to vote
EAGC
2003
Springer
15 years 2 months ago
2003
Springer
The complexity of Grid environments is growing as more projects and applications appear in this quick-evolving domain. Widespread applications are distributed over thousands of com...
KBSE
1998
IEEE
15 years 1 months ago
1998
IEEE
Motivated by NASA's need for high-assurance software, NASA Ames' Amphion project has developed a generic program generation system based on deductive synthesis. Amphion ...
VLDB
1998
ACM
15 years 1 months ago
1998
ACM
DTL's DataSpot is a database publishing tool that enables non-technical end users to explore a database using free-form plain language queries combined with hypertext navigat...
CAV
2010
Springer
15 years 1 months ago
2010
Springer
ions of ODE models (MAPLE, GNA). On the algorithmic side (Sec. 3.2), it supports two main streams in high-performance model checking: reachability analysis based on BDDs (symbolic)...
AAIM
2006
Springer
15 years 1 months ago
2006
Springer
Due to the increasing security threats on the Internet, new overlay network architectures have been proposed to secure privileged services. In these architectures, the application...