5130 search results - page 843 / 1026 » Constraint Query Languages |
152
click to vote
IFIP
2007
Springer
16 years 3 days ago
2007
Springer
The paper deals with the numerical treatment of optimal control problems with bounded distributed controls and elliptic state equations by a wider class of barrier-penalty methods...
163
click to vote
ISOLA
2007
Springer
16 years 3 days ago
2007
Springer
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...
152
click to vote
DATE
2006
IEEE
16 years 21 hour ago
2006
IEEE
The allocation of device variables on I/O registers affects the code size and performance of an I/O device driver. This work seeks the allocation with the minimal software or hard...
179
click to vote
ECBS
2006
IEEE
16 years 19 hour ago
2006
IEEE
In this paper we argue for UML-based metamodeling and pattern-based graph transformation techniques in computer-based systems development through an illustrative example from the ...
158
click to vote
IDEAS
2006
IEEE
16 years 1 hour ago
2006
IEEE
Updating XML documents submitted to schema constraints requires incremental validation, i.e. checking the parts of the document concerned by the updates. We propose to correct sub...