228 search results - page 19 / 46 » The KGP Model of Agency |
ENTCS
2006
13 years 7 months ago
2006
We propose a formal method to validate the reliability of a web application, by modeling interactions among its constituent objects. Modeling exploits the recent "Multiple Le...
ATAL
2007
Springer
14 years 1 months ago
2007
Springer
We present a simple ant model that solves a discrete foraging problem. We describe simulations and provide a complete convergence analysis: we show that the ant population compute...
BIOSYSTEMS
2008
13 years 7 months ago
2008
This paper aims to offer an overview of the meaning of autonomy for biological individuals and artificial models rooted in a specific perspective that pays attention to the histor...
POLICY
2007
Springer
14 years 1 months ago
2007
Springer
Data is often encumbered by restrictions on the ways in which it may be used. These restrictions on usage may be determined by statute, by contract, by custom, or by common decenc...
WSC
2008
13 years 10 months ago
2008
The global health, threatened by emerging infectious diseases, pandemic influenza, and biological warfare, is becoming increasingly dependent on the rapid acquisition, processing,...