9325 search results - page 180 / 1865 » The decentralized implementability problem |
117
click to vote
ACSAC
2005
IEEE
15 years 8 months ago
2005
IEEE
An increasing variety of malware, such as worms, spyware and adware, threatens both personal and business computing. Remotely controlled bot networks of compromised systems are gr...
128
click to vote
AICCSA
2005
IEEE
15 years 8 months ago
2005
IEEE
—In the current research, we present an operation framework and protection mechanism to facilitate secure environment to protect mobile agents against tampering. The system depen...
157
click to vote
EPIA
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We consider the representation and execution of agents specified using temporal logics. Previous work in this area has provided a basis for the direct execution of agent...
123
click to vote
ICLP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In recent work, a general framework for specifying program correspondences under the answer-set semantics has been defined. The framework allows to define different not...
121
click to vote
ICLP
2005
Springer
15 years 8 months ago
2005
Springer
The Semantic Web is a rapidly growing research area aiming at the exchange of semantic information over the World Wide Web. The Semantic Web is built on top of RDF, an XML-based ex...