6045 search results - page 248 / 1209 » Computable Linearizations of Well-partial-orderings |
120
click to vote
LICS
1996
IEEE
15 years 8 months ago
1996
IEEE
We present the linear type theory LLF as the forThis extended abstract will appear on the proceedings of the Eleventh Annual IEEE Symposium on Logic in Computer Science -LICS'...
155
click to vote
HYBRID
2000
Springer
15 years 7 months ago
2000
Springer
A problem of great interest in the control of hybrid systems is the design of least restrictive controllers for reachability specifications. Controller design typically uses game t...
141
click to vote
DEXAW
2009
IEEE
15 years 5 months ago
2009
IEEE
Although information sharing in supply chain management dramatically reduces costs, parties are reluctant to do so, mainly due to fear of information leakage. Solutions based on se...
172
click to vote
IWFM
2003
15 years 5 months ago
2003
We present a report on work in progress on certain aspects of a programme of research concerned with building formal, mathematical models both for aspects of the computational pro...