15840 search results - page 685 / 3168 » The Control of Synchronous Systems |
214
Voted
PPDP
2004
Springer
16 years 19 days ago
2004
Springer
We investigate some fundamental properties of the reduction relation in the untyped term calculus derived from Curien and Herbelin’s λµµ. The original λµµ has a system of ...
191
click to vote
RTCSA
2000
IEEE
15 years 11 months ago
2000
IEEE
Although an optimistic approach has been shown to be better suited than locking protocols for real-time database systems (RTDBS), it has the problems of unnecessary restarts and h...
211
click to vote
SOFSEM
2000
Springer
15 years 10 months ago
2000
Springer
The capability of perceiving the environment is crucial for advancing the level of autonomy and sophistication of (semi)autonomous robotic systems and determines the complexity of ...
198
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
Abstract. In the last years, social and organizational aspects of agency have become a major issue in multi-agent systems’ research. Recent applications of MAS enforce the need o...
192
click to vote
WSC
2000
15 years 8 months ago
2000
Batching jobs in a manufacturing system is a very common policy in most industries. The main reasons for batching are avoidance of set ups and/or facilitation of material handling...