913 search results - page 139 / 183 » Formal Agent Development: Framework to System |
115
click to vote
FM
2005
Springer
15 years 5 months ago
2005
Springer
Abstract Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes Microsoft Research, Redmond, WA, USA Abstract. We describe a pract...
101
click to vote
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
Determining the provenance of data, i.e. the process that led to that data, is vital in many disciplines. For example, in science, the process that produced a given result must be...
101
click to vote
TASE
2008
IEEE
14 years 11 months ago
2008
IEEE
In this paper, we focus on mechanism design for single leader Stackelberg problems, which are a special case of hierarchical decision making problems in which a distinguished agent...
SEMWEB
2005
Springer
15 years 5 months ago
2005
Springer
We address the problem of linking observations from reality to a semantic web based knowledge base. Concepts in the biological domain are increasingly being formalized through ont...
109
click to vote
ETRICS
2006
15 years 3 months ago
2006
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...