3335 search results - page 284 / 667 » Grid result checking |
171
click to vote
UML
2004
Springer
15 years 12 months ago
2004
Springer
Any implementation of an information system must ensure that an operation is only applied if its execution does not lead to a violation of any of the integrity constraints defined ...
168
click to vote
ICALP
2003
Springer
15 years 11 months ago
2003
Springer
µKlaim is a process language that permits programming distributed systems made up of several mobile components interacting through multiple distributed tuple spaces. We present th...
168
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper a new time-stepping method for simulating systems of rigid bodies is given. Unlike methods which take an instantaneous point of view, our method is based on impulse-m...
177
click to vote
LICS
1999
IEEE
15 years 11 months ago
1999
IEEE
The problem of defining and checking a subtype relation between recursive types was studied in [3] for a first order type system, but for second order systems, which combine subty...
143
click to vote
ICCAD
1998
IEEE
15 years 10 months ago
1998
IEEE
Combinational verification is an important piece of most equivalence checking tools. In the recent past, many combinational verification algorithms have appeared in the literature...