1454 search results - page 114 / 291 » Stateful traits and their formalization |
110
click to vote
FMCO
2006
Springer
15 years 4 months ago
2006
Springer
Links is a programming language for web applications that generates code for all three tiers of a web application from a single source, compiling into JavaScript to run on the clie...
122
Voted
ATAL
1995
Springer
15 years 4 months ago
1995
Springer
Abstract. This article considers the link between theory and practice in agentoriented programming. We begin by rigorously defining a new formal specification language for autono...
118
Voted
AAAI
2007
15 years 3 months ago
2007
A team of agents is jointly able to achieve a goal if despite any incomplete knowledge they may have about the world or each other, they still know enough to be able to get to a g...
118
click to vote
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the formalism of temporal-epistemic logic suitably extended ...
84
Voted
FDL
2008
IEEE
15 years 2 months ago
2008
IEEE
This paper describes a scenario-based methodology em-level design validation based on the Abstract State Machines formal method. This scenario-based approach complements an existi...