6109 search results - page 231 / 1222 » Ubiquitous Web Applications |
176
click to vote
ISORC
2005
IEEE
16 years 4 days ago
2005
IEEE
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...
154
click to vote
RAID
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. It is commonly accepted that intrusion detection systems (IDS) are required to compensate for the insufficient security mechanisms that are available on computer systems...
167
click to vote
CASCON
2006
15 years 8 months ago
2006
UML activity models (activities, for short) have become widely accepted for specifying the dynamic behavior of use cases. For an adequate specification of use cases in the context...
149
click to vote
JAIR
2006
15 years 6 months ago
2006
In a peer-to-peer inference system, each peer can reason locally but can also solicit some of its acquaintances, which are peers sharing part of its vocabulary. In this paper, we ...
147
click to vote
SKG
2006
IEEE
16 years 17 days ago
2006
IEEE
Under the background of the requirement of high availability and high performance on the basis of the large-scale distributing type application in agriculture, makes more research...