913 search results - page 180 / 183 » Formal Agent Development: Framework to System |
83
Voted
CCIA
2009
Springer
15 years 21 days ago
2009
Springer
The management of natural resources is an intricate and consequential task. In particular, water management is at the forefront of public policy priorities in many countries becaus...
107
click to vote
AI
2007
Springer
14 years 11 months ago
2007
Springer
AI planning requires the definition of action models using a formal action and plan description language, such as the standard Planning Domain Definition Language (PDDL), as inp...
EUROSYS
2009
ACM
15 years 8 months ago
2009
ACM
Device drivers are notorious for being a major source of failure in operating systems. In analysing a sample of real defects in Linux drivers, we found that a large proportion (39...
BMCBI
2010
14 years 11 months ago
2010
Background: The evolution of high throughput technologies that measure gene expression levels has created a data base for inferring GRNs (a process also known as reverse engineeri...
105
click to vote
COMCOM
2008
14 years 11 months ago
2008
In this paper, we study using game theory the problem of detecting intrusions in wired infrastructure networks. Detection is accomplished by sampling a subset of the transmitted p...