3429 search results - page 281 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
149
Voted
ATAL
2003
Springer
15 years 8 months ago
2003
Springer
What sort of democracies should open agent societies be? We present three normative models of democracy from political philosophy and consider their relevance for the engineering o...
133
click to vote
JAIR
2008
15 years 4 months ago
2008
Model checking is a promising technology, which has been applied for verification of many hardware and software systems. In this paper, we introduce the concept of model update to...
179
Voted
DOOD
1997
Springer
15 years 8 months ago
1997
Springer
With the increasing importance of the World Wide Web as an information source, there is a growing interest for integration of Web and database technology. Several Web query languag...
142
click to vote
CAISE
2004
Springer
15 years 10 months ago
2004
Springer
The Semantic Web vision aims to integrate and convert the vast amount of information available on the Internet into a machine-understandable network. The objective is to promote kn...
153
click to vote
SPIN
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...