5227 search results - page 217 / 1046 » Enterprise modeling using class and instance models |
139
click to vote
CONCUR
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We introduce model-checking games that allow local secondorder power on sets of independent transitions in the underlying partial order models where the games are played....
164
Voted
DFMA
2005
IEEE
15 years 10 months ago
2005
IEEE
Mobility study is composed by many research areas which one interests us : urban mobility. Urban movement study aims at looking and designing human displacements in an urban envir...
156
click to vote
LAWEB
2003
IEEE
15 years 10 months ago
2003
IEEE
In this article we present a method for the design and implementation of Web Applications for the Semantic Web. Based on the "Object Oriented Hypermedia Design Method" a...
157
click to vote
ESCIENCE
2006
IEEE
15 years 8 months ago
2006
IEEE
The Online Database of Interlinear Text (ODIN)1 is a database of interlinear text "snippets", harvested mostly from scholarly documents posted to the Web. Although large...
154
click to vote
DAGSTUHL
2004
15 years 6 months ago
2004
ns to define the abstract modelling language that determines the structure of the models that are to be used a two-step meta-modelling approach turned out as most adequate. In the ...