1318 search results - page 157 / 264 » The formal semantics of the timeER model |
176
click to vote
DEXA
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Engineering design is a knowledge intensive activity. Design is characterized as comprising a number of phases from requirements to detailed specification. Transitions be...
172
click to vote
ACIIDS
2009
IEEE
15 years 11 months ago
2009
IEEE
— In this paper I show how ontologies support the student modelling through the semantic definition of concepts that depict a student. The aim is to outline the framework for bui...
162
click to vote
AAAI
2006
15 years 7 months ago
2006
Helping behavior in effective teams is enabled by some overlapping "shared mental models" that are developed and maintained by members of the team. In this paper, we tak...
168
click to vote
PPDP
2009
Springer
16 years 29 days ago
2009
Springer
Traversal strategies are at the heart of transformational programming with rewriting-based frameworks such as Stratego/XT or Tom and specific approaches for generic functional pr...
147
click to vote
VL
2002
IEEE
15 years 11 months ago
2002
IEEE
There is a range of modelling notations, both textual and diagrammatic, whose semantics are based on first-order predicate logic. This paper presents a visual framework for organ...