3729 search results - page 62 / 746 » On Formal Modeling of Agent Computations |
103
click to vote
AAMAS
2005
Springer
14 years 11 months ago
2005
Springer
Spurred by a range of potential applications, there has been a growing body of research in computational models of human emotion. To advance the development of these models, it is...
100
click to vote
ESCIENCE
2007
IEEE
15 years 3 months ago
2007
IEEE
Scientific workflows have recently emerged as a new paradigm for representing and managing complex distributed scientific computations and data analysis, and have enabled and acce...
SEMWEB
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We show that the Semantic Web needs a formal semantics for the various kinds of links between ontologies and other documents. We provide a model theoretic semantics that ...
102
click to vote
IPPS
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper presents general techniques for formally modeling, simulating, and model checking real-time resource-sharing protocols in Real-Time Maude. The “scheduling subset” o...
COORDINATION
2008
Springer
15 years 1 months ago
2008
Springer
A translation of the Business Process Modeling Notation into the process calculus COWS is presented. The stochastic extension of COWS is then exploited to address quantitative reas...