1671 search results - page 47 / 335 » Language Constructs for Multi-agent Programming |
108
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Automated software verification is a very active field of research which has made enormous progress both in theoretical and practical aspects. Recently, an important amou...
142
click to vote
KBSE
2005
IEEE
15 years 8 months ago
2005
IEEE
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
132
click to vote
MPC
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Generic Programming deals with the construction of programs that can be applied to many dierent datatypes. This is achieved by parameterizing the generic programs by the...
131
Voted
HICSS
2008
IEEE
15 years 9 months ago
2008
IEEE
Proposed and developed is the language Service Composition (SC) CoJava, which extends the programming language Java with (1) a modular service composition framework; (2) an extens...
213
click to vote
POPL
2009
ACM
16 years 3 months ago
2009
ACM
Linguists seek to understand the semantics of expressions in human languages. Taking a computational point of view, there are many natural language expressions--operators in the w...