4257 search results - page 91 / 852 » The Logical Modularity of Programs |
115
click to vote
ENTCS
2010
15 years 2 months ago
2010
Focalization property is a deep outcome of linear logic proof theory, putting to the foreground the role of polarity in logic. It resulted an important advances in various fields, ...
116
click to vote
ICRA
2003
IEEE
15 years 7 months ago
2003
IEEE
Abstract— We discuss a software environment for multirobot, multi-platform mobile robot control and simulation. Like others, we have observed that mobile robotics research is gre...
134
Voted
IFIP
1993
Springer
15 years 6 months ago
1993
Springer
When designing a plant for continuous or semi-continuous processes, such as paper pulp or petrochemical production systems, engineers face very complex tasks, which are only in pa...
104
Voted
ECOOP
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Upgrading the software of long-lived, highly-available distributed systems is difficult. It is not possible to upgrade all the nodes in a system at once, since some nodes...