3045 search results - page 508 / 609 » Formal Approaches to Software Architecture |
165
click to vote
ROBOCUP
2004
Springer
15 years 11 months ago
2004
Springer
This paper describes the joint approach of three research groups to enable a heterogeneous team of robots to exchange belief. The communication framework presented imposes little r...
174
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper proposes a novel methodology tailored to design embedded systems, taking into account the emerging market needs, such as hw/sw partitioning, object-oriented specificati...
158
click to vote
DEXAW
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper examines a model of trusted computing wherein a computing platform is able to make assertions about its current software configuration that may be trusted by the user ...
174
click to vote
ISCAS
2003
IEEE
15 years 11 months ago
2003
IEEE
Reconfigurable Computers based on a combination of conventional microprocessors and Field Programmable Gate Arrays (FPGAs) presents new challenges to designers. Debugging on such ...
188
click to vote
SBACPAD
2003
IEEE
15 years 11 months ago
2003
IEEE
Traffic monitoring and analysis based on general purpose systems with high speed interfaces, such as Gigabit Ethernet and 10 Gigabit Ethernet, requires carefully designed software...