1645 search results - page 61 / 329 » Rationale-Based Use Case Specification |
147
click to vote
CODES
2005
IEEE
15 years 12 months ago
2005
IEEE
This paper describes the design of a low-cost, low-power smart imaging core that can be embedded in cameras. The core integrates an ARM 9 processor, a camera interface and two spe...
139
click to vote
HICSS
2005
IEEE
15 years 12 months ago
2005
IEEE
Today, many knowledge-based technology applications form a business ecosystem: a set of complex products and services made by multiple firms in which no firm is dominant. For this...
176
click to vote
ICECCS
1999
IEEE
15 years 10 months ago
1999
IEEE
We report on our efforts to formally specify and verify a new protocol of the E-2C Hawkeye Early Warning Aircraft. The protocol, which is currently in test at Northrop Grumman, su...
152
click to vote
HPCC
2007
Springer
16 years 12 days ago
2007
Springer
I/O Virtualization provides a convenient way of device sharing among guest domains in a virtualized platform (e.g. Xen). However, with the ever-increasing number and variety of dev...
194
click to vote
RTSS
2006
IEEE
16 years 7 days ago
2006
IEEE
Time-sensitive Wireless Sensor Network (WSN) applications require finite delay bounds in critical situations. This paper provides a methodology for the modeling and the worst-case...