4752 search results - page 174 / 951 » Dependability in Web Software |
154
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
The Semantic Web relies on the complex interaction of several technologies involving ontologies. Therefore, sophisticated Semantic Web applications typically comprise more than on...
163
click to vote
KBSE
2005
IEEE
15 years 12 months 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...
152
click to vote
HICSS
2007
IEEE
16 years 22 days ago
2007
IEEE
This paper investigates the extent to which Open Source software is being adopted for web hosts within member countries of the Association of South East Asian Nations (ASEAN), and...
177
click to vote
ICSE
2009
IEEE-ACM
15 years 4 months ago
2009
IEEE-ACM
Abstract. At our behest or otherwise, while our software is being executed, a huge variety of design assumptions is continuously matched with the truth of the current condition. Wh...
182
click to vote
EPIA
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. As software systems become bigger and more complex, software developers need to cope with a growing amount of information and knowledge. The knowledge generated during th...