4211 search results - page 451 / 843 » A formal approach to MASQ |
188
click to vote
OTM
2005
Springer
16 years 11 days ago
2005
Springer
Model-driven Architecture (MDA) is a software architecture framework proposed by the Object Management Group OMG. MDA emphasises the importance of modelling in the architectural de...
175
click to vote
PASTE
2004
ACM
16 years 9 days ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
171
click to vote
ARGMAS
2004
Springer
16 years 8 days ago
2004
Springer
Negotiation can be conceived as the exchange of messages among self-interested agents in order to settle on an agreement over a given issue. They decide which messages to send acco...
171
click to vote
ATAL
2004
Springer
16 years 8 days ago
2004
Springer
The ‘engineering’ and ‘adaptive’ approaches to system production are distinguished. It is argued that producing reliable self-organised software systems (SOSS) will necessa...
199
click to vote
ICGI
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. This paper investigates the learnability of Pregroup Grammars, a context-free grammar formalism recently defined in the field of computational linguistics. In a first ...