861 search results - page 123 / 173 » Automated control of internet services |
ESWS
2007
Springer
15 years 6 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...
124
click to vote
CL
2007
Springer
14 years 12 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...
ICWS
2010
IEEE
15 years 1 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...
CORR
2010
Springer
14 years 12 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 ...
102
click to vote
WWW
2005
ACM
16 years 15 days 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...