9425 search results - page 1693 / 1885 » Some Notes on Models and Modelling |
137
click to vote
CPAIOR
2008
Springer
15 years 5 months ago
2008
Springer
This paper extends our previous work by exploring the use of a hybrid solution method for solving the connection subgraph problem. We employ a two phase solution method, which dras...
132
Voted
BCS
2008
15 years 5 months ago
2008
Using formal verification for designing hardware designs free from logic design bugs has been an active area of research since the last 15 years. Technology has matured and we hav...
134
click to vote
DAGSTUHL
2007
15 years 5 months ago
2007
rocesses involve modeling – simplifying or abstracting some aspects of the problem domain in order to plan and evaluate design decisions. The use of representations to reason abo...
131
Voted
DAGSTUHL
2007
15 years 5 months ago
2007
: This is a position paper introducing blob computing: A Blob is a generic primitive used to structure a uniform computing substrate into an easier-to-program parallel virtual mach...
134
Voted
DAGSTUHL
2007
15 years 5 months ago
2007
act notation, so separating the abstract syntax and semantics of the language constructs from their different concrete notations. Although the foundation constituents of the MDE a...