2944 search results - page 124 / 589 » On Well Quasi-orders on Languages |
97
Voted
VL
2006
IEEE
15 years 6 months ago
2006
IEEE
Web development is rapidly becoming a routine activity for informal as well as professional software developers. One variable that distinguished segments of this population was th...
112
Voted
AOSE
2005
Springer
15 years 6 months ago
2005
Springer
This paper presents modeling concepts and mechanisms of the Agent Modeling Language (AML) to model social aspects of multiagent systems. The modeling of structural, behavioral as w...
92
Voted
CAISE
2004
Springer
15 years 6 months ago
2004
Springer
We suggest to extend BPEL4WS with structured activities for multiple instantiation since this is a crucial feature of a business process modelling language. In particular, we propo...
86
Voted
ECOOP
2004
Springer
15 years 6 months ago
2004
Springer
Module systems are well known as a means for giving clear interfaces for the static linking of code. This paper shows how adding explicit interfaces to modules for 1) dynamic linki...
91
Voted
SPIN
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. We describe a translation from a dialect of SDL-88 to PROMELA, the input language of the SPIN model checker. The fairly straightforward translation covers data types as w...