2944 search results - page 141 / 589 » On Well Quasi-orders on Languages |
129
click to vote
MATES
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. It has been observed that there are interesting relations between planning and agent programming. This is not surprising as agent programming was partially motivated by t...
127
Voted
CISIS
2008
IEEE
15 years 7 months ago
2008
IEEE
Shadows are well known as a programming language feature in the application area of MUDs (a certain type of multi-player online game). We argue that agile methodologies can be enh...
108
Voted
AICT
2007
IEEE
15 years 7 months ago
2007
IEEE
—The topic of policy-based management is introduced. Its specific application by the ACCENT project to call control is then discussed. The APPEL policy language supports regular ...
93
Voted
HYBRID
2007
Springer
15 years 7 months ago
2007
Springer
This paper presents a motion description language (MDLp) for specifying and encoding autonomous puppetry plays in a manner that is faithful to the way puppetry choreography is curr...
106
click to vote
APSEC
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...