4930 search results - page 382 / 986 » Testing a Safety-Critical Application |
185
click to vote
KBSE
2005
IEEE
16 years 12 days ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
168
click to vote
VLDB
2005
ACM
16 years 8 days ago
2005
ACM
The application of structured overlay networks to implement index structures for data-oriented applications such as peer-to-peer databases or peer-to-peer information retrieval, r...
203
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
The Semantic Web and its technologies become increasingly important. As more and more Semantic Web applications are being used, developing more stable Semantic Web applications be...
164
click to vote
MM
1994
ACM
15 years 11 months ago
1994
ACM
The goal of the Argo system is to allow medium-sized groups of users to collaborate remotely from their desktops in a way that approaches as closely as possible the effectiveness ...
184
click to vote
COMPSAC
2001
IEEE
15 years 10 months ago
2001
IEEE
Virtual Reality Modeling Language (VRML) is widely used to represent, create, and display virtual reality objects and their environment. Some VRML applications require concurrent ...