1835 search results - page 266 / 367 » Functional Programming of Behavior-Based Systems |
118
Voted
HYBRID
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This paper derives an optimization-based control methodology for networks of switched and hybrid systems in which each mode is governed by a partial differential equatio...
145
Voted
BIRTHDAY
2003
Springer
15 years 6 months ago
2003
Springer
Aspects are intended to add needed functionality to a system or to treat concerns of the system by augmenting or changing the existing code in a manner that cross-cuts the usual c...
107
Voted
USENIX
2001
15 years 4 months ago
2001
Users frequently have to choose between functionality and security. When running popular Web browsers or email clients, they frequently find themselves turning off features such a...
108
Voted
ENTCS
2008
15 years 2 months ago
2008
We describe some results inspired to Lafont's Soft Linear Logic (SLL) which is a subsystem of second-order linear logic with restricted rules for exponentials, correct and co...
124
Voted
RAS
2000
15 years 2 months ago
2000
This paper presents an optimisation system software developed for the determination of optimal index positions of cutting tools on the automatic tool changer (ATC) or turret magaz...