2838 search results - page 346 / 568 » Verifying Controlled Components |
93
Voted
ACOM
2004
Springer
15 years 4 months ago
2004
Springer
The Cognitive Agent Specification Language (CASL) is a framework for specifying and verifying complex communicating multiagent systems. In this paper, we develop an extended versi...
103
click to vote
ACSAC
2004
IEEE
15 years 4 months ago
2004
IEEE
Both Java RMI and Jini use a proxy-based architecture. In this architecture, a client interacts with a service through a proxy, which is code downloaded from a directory and insta...
GECCO
2006
Springer
15 years 4 months ago
2006
Springer
In the realm of data mining, several key issues exists in the traditional classification algorithms, such as low readability, large rule number, and low accuracy with information ...
111
click to vote
GECCO
2006
Springer
15 years 4 months ago
2006
Springer
In this paper we present an evolutionary approach for inferring the structure and dynamics in gene circuits from observed expression kinetics. For representing the regulatory inte...
104
click to vote
ACSAC
2001
IEEE
15 years 4 months ago
2001
IEEE
Traditionally, creation and revocation of certificates are performed manually, by trusted agents, under conditions that are rarely formalized. This approach to certificate managem...