1847 search results - page 266 / 370 » Computational Science Simulations Based on Web Services |
123
Voted
SPIN
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
RTA
1993
Springer
15 years 5 months ago
1993
Springer
This paper studies completion in the case of equations with constraints consisting of rstorder formulae over equations, disequations, and an irreducibility predicate. We present s...
107
click to vote
VRST
2006
ACM
15 years 7 months ago
2006
ACM
This paper presents a study of the fine grain physiological responses of participants to an immersive virtual simulation of an urban environment. The analysis of differences in p...
113
Voted
ACMSE
2006
ACM
15 years 7 months ago
2006
ACM
SQL injection attacks potentially affect all applications, especially web applications, that utilize a database backend. While these attacks are generally against the application...
116
click to vote
ACMSE
2004
ACM
15 years 7 months ago
2004
ACM
Recent years have witnessed an explosion in the availability of news articles on the World Wide Web. Although searchengines’ algorithms have made it easier to locate these docum...