3765 search results - page 598 / 753 » Formal Methods for Systems Engineering Behavior Models |
135
click to vote
IWSSD
2000
IEEE
15 years 11 months ago
2000
IEEE
Most software that most people use most of the time needs only moderate assurance of fitness for its intended purpose. Unlike high-assurance software, where the severe consequence...
170
click to vote
AVI
2008
15 years 8 months ago
2008
MedioVis is a visual information seeking system that aims to support users' natural seeking behavior, particularly in complex information spaces. To achieve this goal we intr...
203
click to vote
AIRWEB
2008
Springer
15 years 8 months ago
2008
Springer
As web search providers seek to improve both relevance and response times, they are challenged by the ever-increasing tax of automated search query traffic. Third party systems in...
164
click to vote
ADAEUROPE
2005
Springer
15 years 8 months ago
2005
Springer
This paper presents the design and implementation of RT-EP (Real-Time Ethernet Protocol), which is a software-based token-passing Ethernet protocol for multipoint communications in...
176
click to vote
ECRTS
2008
IEEE
16 years 29 days ago
2008
IEEE
Embedded services and applications that interact with the real world often, over time, need to run on different kinds of hardware (low-cost microcontrollers to powerful multicore ...