4328 search results - page 232 / 866 » A New Kind of Science |
213
click to vote
CONEXT
2006
ACM
16 years 21 days ago
2006
ACM
The realization of ubiquitous networks brings new challenges to application development. In this kind of network, services and, more specifically web services, have been used to p...
143
click to vote
ELPUB
2006
ACM
16 years 21 days ago
2006
ACM
This paper concerns the document multi-structuring issue. For various use objectives, many distinct structures may be defined simultaneously for the same original document. For ex...
135
Voted
ISSTA
2006
ACM
16 years 21 days ago
2006
ACM
This paper extends basic software-testing theory to software components and adds explicit state to the theory. The resulting theory e enough to abstractly model the construction o...
171
click to vote
AICT
2005
IEEE
16 years 11 days ago
2005
IEEE
Due to the increasing use of service level agreements for the provisioning of IT services, providers have to ensure that the guarantees for the quality of their offered services, ...
176
click to vote
APSEC
2005
IEEE
16 years 11 days ago
2005
IEEE
Several kinds of call-ordering problems have been identified, all of which present subtle difficulties in ensuring the correctness of a sequential program. They include object pro...