1306 search results - page 42 / 262 » A Diagrammatic Approach to Model Completion |
133
Voted
SAC
2008
ACM
14 years 12 months ago
2008
ACM
Model-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing ...
184
click to vote
ICDE
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper explores an inherent tension in modeling and querying uncertain data: simple, intuitive representations of uncertain data capture many application requirements, but the...
74
Voted
DATE
2007
IEEE
15 years 6 months ago
2007
IEEE
Formal verification is an important issue in circuit and system design. In this context, Bounded Model Checking (BMC) is one of the most successful techniques. But even if all sp...
WSC
1998
15 years 1 months ago
1998
This paper discusses a methodology for quickly investigating problem areas in semiconductor wafer fabrication factories by creating a model for the production area of interest onl...
CEC
2007
IEEE
15 years 6 months ago
2007
IEEE
— We present an ant model that solves a discrete foraging problem. We describe simulations and provide a complete convergence analysis: we show that the ant population computes t...