7527 search results - page 426 / 1506 » Design and implementation of the KioskNet system |
212
click to vote
ESAW
2005
Springer
16 years 11 days ago
2005
Springer
In this paper, we discuss the development of a multi agent system working on the Semantic Web environment by using a new framework called SEAGENT. SEAGENT is a new agent developmen...
161
click to vote
WMCSA
2003
IEEE
16 years 2 days ago
2003
IEEE
This paper describes the adaptive component migration facility in the Bifrost Location-Independent Computing System. We present a facility that allows mobile clients to selectivel...
189
click to vote
SIGSOFT
2003
ACM
16 years 2 days ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
161
click to vote
DSN
2002
IEEE
15 years 11 months ago
2002
IEEE
Language run-time systems are routinely used to host potentially buggy or malicious codelets — software modules, agents, applets, etc. — in a secure environment. A number of t...
194
click to vote
ICDCSW
2002
IEEE
15 years 11 months ago
2002
IEEE
A key issue when designing and implementing largescale publish/subscribe systems is how to efficiently propagate subscriptions among the brokers of the system. Brokers require thi...