770 search results - page 113 / 154 » Experience in e-Science Requirements Engineering |
COMSWARE
2006
IEEE
15 years 2 months ago
2006
IEEE
Applications using traditional protocol stacks (e.g TCP/IP) from wired networks do not function efficiently in mobile wireless scenarios. This is primarily due to the layered archi...
ICSE
2000
IEEE-ACM
15 years 2 months ago
2000
IEEE-ACM
This paper presents a technique for incrementally constructing safety specifications, abstract algorithm descriptions, and simulation proofs showing that algorithms meet their spe...
DAC
2000
ACM
15 years 12 months ago
2000
ACM
erse approaches at all levels of abstraction starting from the physical level up to the system level. Experience shows that a highlevel method may have a larger impact since the de...
99
Voted
WWW
2003
ACM
15 years 11 months ago
2003
ACM
The computation of page importance in a huge dynamic graph has recently attracted a lot of attention because of the web. Page importance, or page rank is defined as the fixpoint o...
VR
2008
IEEE
15 years 5 months ago
2008
IEEE
As the use of virtual and augmented reality applications becomes more common, the need to fully understand how observers perceive spatial relationships grows more critical. One of...