4839 search results - page 98 / 968 » A survey of computational complexity results in systems and ... |
128
click to vote
GD
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. As the number of devices connected to the internet continues to grow rapidly and software systems are being increasingly deployed on the web, security and privacy have be...
143
click to vote
ICRA
1999
IEEE
15 years 6 months ago
1999
IEEE
This paper presents a distributed planning and control architecture for autonomous Multi-Manipulator Systems (MMS). The control architecture is implemented using an agent-based ap...
100
click to vote
AUTOMATICA
2004
15 years 1 months ago
2004
A fundamental problem in the simulation and control of complex physical systems containing distributed-parameter components concerns finite-dimensional approximation. Numerical me...
137
click to vote
FROCOS
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. We discuss a pragmatic approach to integrate computer algebra into proof planning. It is based on the idea to separate computation and veri cation and can thereby exploit...
109
click to vote
SIPS
2007
IEEE
15 years 8 months ago
2007
IEEE
System-on-Chip (SoC) designs become more complex nowadays. The communication between each processing element often suffers challenges due to the wiring problem. Networks-on-Chip (...