2935 search results - page 344 / 587 » An Integrated Approach to High Integrity Software Verificati... |
150
click to vote
AAAI
1998
15 years 7 months ago
1998
This paper describes the software architecture of an autonomous tour-guide/tutor robot. This robot was recently deployed in the "Deutsches Museum Bonn," were it guided h...
172
click to vote
ICOIN
2001
Springer
15 years 11 months ago
2001
Springer
This paper presents the Differentiated Services (DiffServ) over ATM based Multiprotocol Label Switching (MPLS) core network architecture. This network supports the Integrated Serv...
175
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: There is an urgent need for new prognostic markers of breast cancer metastases to ensure that newly diagnosed patients receive appropriate therapy. Recent studies have...
261
click to vote
ISJGP
2010
15 years 3 months ago
2010
A variety of modern technologies such as networks, Internet, and electronic services demand private and secure communications for a great number of everyday transactions. Security ...
171
click to vote
DAC
2011
ACM
14 years 6 months ago
2011
ACM
Micro-channel cooling shows great potential in removing high density heat in 3D circuits. The current micro-channel heat sink designs spread the entire surface to be cooled with m...