525 search results - page 85 / 105 » Model Checking Systems of Replicated Processes with Spin |
SSDBM
2005
IEEE
14 years 2 months ago
2005
IEEE
Data products generated from remotely-sensed, geospatial imagery (RSI) used in emerging areas, such as global climatology, environmental monitoring, land use, and disaster managem...
BIOSYSTEMS
2008
13 years 8 months ago
2008
We propose conditions in which an autonomous agent could arise, and increase in complexity. It is assumed that on the primitive Earth there arose a recycling flow-reactor containi...
SAC
2010
ACM
13 years 8 months ago
2010
ACM
Software artifacts usually have static program constraints and these constraints should be satisfied in each reuse. In addition to this, the developers are also required to satisf...
SIGSOFT
2004
ACM
14 years 9 months ago
2004
ACM
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners have adopted techniques that support increment...
DAGSTUHL
2003
13 years 10 months ago
2003
Abstract. In this paper, we show how the concepts of objects, components, features and agents are used today in the Agent Building Center (ABC) environment in order to marry the mo...