10797 search results - page 1927 / 2160 » Robust control applications |
145
click to vote
ISSS
1999
IEEE
15 years 8 months ago
1999
IEEE
In order to cope with the ever increasing complexity of todays application specific integrated circuits, a building block based design methodology is established. The system is co...
145
click to vote
ECOOP
1999
Springer
15 years 8 months ago
1999
Springer
Although it is acknowledged that internal iterators are easier and safer to use than conventional external iterators, it is commonly assumed that they are not applicable in languag...
148
click to vote
RIDE
1999
IEEE
15 years 8 months ago
1999
IEEE
Workflow systems are an emerging technology which have become increasingly important in the drive for business to provide better services and increase productivity. Intuitively, w...
111
click to vote
FM
1999
Springer
15 years 8 months ago
1999
Springer
Sharing between B constructs is limited, both on the specification and the implementation level. The limitations stem from the single writer/multiple readers paradigm, restricted ...
142
click to vote
ICLP
1999
Springer
15 years 8 months ago
1999
Springer
We introduce the notion of bounded nondeterminism for logic programs and queries. A program and a query have bounded nondeterminism if there are finitely many refutations for the...