2557 search results - page 278 / 512 » Structures of the Environment in Colonies |
131
Voted
SPIN
2009
Springer
15 years 10 months ago
2009
Springer
This paper describes a set of software tools developed for teaching concurrency and model checking. jSpin is an elementary development environment for Spin that formats and filter...
157
Voted
AINA
2008
IEEE
15 years 10 months ago
2008
IEEE
Applications that rely on the publish-subscribe model (such as those dedicated to news or event distribution) require a communication model whereby information can flow towards a...
108
Voted
INFOCOM
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract—Several popular simulation and emulation environments fail to account for realistic packet forwarding behaviors of commercial switches and routers. Such simulation or em...
137
Voted
IROS
2008
IEEE
15 years 10 months ago
2008
IEEE
— In this paper, the development of humanoid robot HRP-3 is presented. HRP-3, which stands for Humanoid Robotics Platform–3, is a human-size humanoid robot developed as the suc...
106
Voted
DDECS
2007
IEEE
15 years 10 months ago
2007
IEEE
Logic Soft Errors caused by radiation are a major concern when working with circuits that need to operate in harsh environments, such as space or avionics applications, where soft ...