861 search results - page 123 / 173 » Automated control of internet services |
141
click to vote
ESWS
2007
Springer
15 years 10 months ago
2007
Springer
WSML is an ontology language specifically tailored to annotate Web Services, and part of its semantics adheres to the rule-based knowledge representation paradigm of logic program...
171
click to vote
CL
2007
Springer
15 years 4 months ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...
125
click to vote
ICWS
2010
IEEE
15 years 5 months ago
2010
IEEE
This paper addresses one of the major problems of SOA software development: the lack of support for testing complex service-oriented systems. The research community has developed v...
122
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
In the past few years, IRC bots, malicious programs which are remotely controlled by the attacker through IRC servers, have become a major threat to the Internet and users. These ...
135
click to vote
WWW
2005
ACM
16 years 4 months ago
2005
ACM
Portlets (i.e. multi-step, user-facing applications to be syndicated within a portal) are currently supported by most portal frameworks. However, there is not yet a definitive ans...