284 search results - page 16 / 57 » Formal Foundation for Pattern-Based Modelling |
112
click to vote
AICCSA
2006
IEEE
15 years 4 months ago
2006
IEEE
s: Software Foundations Modeling Redundancy: Quantitative and Qualitative Models .......................................................43 Ali Mili............New Jersey Institute ...
134
Voted
STORYTELLING
2005
Springer
15 years 6 months ago
2005
Springer
The goal of this research is to lay the foundations for a formal theory , that abstracts from the procedural and interactive aspects involved in the generation of dramatic content....
127
Voted
JUCS
2002
15 years 6 days ago
2002
: This paper presents a framework for representing formal semantics of a subset of the Unified Modeling Language (UML) notation in a higher-order logic, more specifically semantics...
122
Voted
IJCSA
2008
15 years 17 days ago
2008
The Graphical Object Query Language (GOQL) is a graphical query language that complies with the ODMG standard and runs on top of the o2 DBMS. The language provides users with the ...
103
Voted
DATE
2008
IEEE
15 years 7 months ago
2008
IEEE
In the absence of a single module interface standard, integration of pre-designed modules in System-on-Chip design often requires the use of protocol converters. Existing approach...