16216 search results - page 2 / 3244 » Effective Modeling with Constraints |
ISCAS
2002
IEEE
13 years 10 months ago
2002
IEEE
A unified, closed form analytical drain current model for partially and fully depleted SOS MOSFETs was investigated. The analytical model was developed using first order principle...
DATE
2003
IEEE
13 years 10 months ago
2003
IEEE
The model-based methodology has proven to be effective for fast and low-cost development of embedded software. In the model-based development process, transforming a software stru...
UML
1999
Springer
13 years 9 months ago
1999
Springer
The Object Constraint Language (OCL) is a precise language for notating behavioural constraints on UML models. Constraint diagrams have been proposed as a means of notating similar...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
Abstract This paper proposes a design for a system to generate constraint solvers that are specialised for specific problem models. It describes the design in detail and gives prel...
ASP
2001
Springer
13 years 9 months ago
2001
Springer
In this paper we implement planning using answer set programming. We consider the action language A and its extensions. We show that when the domain is described using richer feat...