3907 search results - page 598 / 782 » Time, Knowledge, and Choice |
99
Voted
CBMS
2007
IEEE
15 years 7 months ago
2007
IEEE
The tertiary structure and biological function of a protein can be better understood given knowledge of the number and location of its disulfide bonds. By utilizing mass spectrome...
101
click to vote
DATE
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
98
Voted
GLOBECOM
2007
IEEE
15 years 7 months ago
2007
IEEE
— Fixed and mobile relays are used, among other applications, in the downlink of cellular communications systems. Cooperation between relays can greatly increase their benefits ...
89
Voted
HASE
2007
IEEE
15 years 7 months ago
2007
IEEE
SyncProbe improves the end-to-end predictability of distributed systems by providing applications with a real-time estimate of the maximum expected message delay (upper bound on c...
99
Voted
HICSS
2007
IEEE
15 years 7 months ago
2007
IEEE
Software can be tested either manually or automatically. The two approaches are complementary: automated testing can perform a large number of tests in little time, whereas manual...