3639 search results - page 552 / 728 » Provenance as Dependency Analysis |
167
click to vote
KBSE
2008
IEEE
16 years 27 days ago
2008
IEEE
One activity performed by developers during regression testing is test-suite augmentation, which consists of assessing the adequacy of a test suite after a program is modified an...
173
click to vote
PIMRC
2008
IEEE
16 years 27 days ago
2008
IEEE
— Future mobile communications systems demand for higher data rates and service quality compared to state-of-the-art systems. One way to achieve this ambitious goal is to use rel...
148
click to vote
RTCSA
2008
IEEE
16 years 27 days ago
2008
IEEE
This paper addresses the problem of using the Location IDentifier (LID) as the domain value of the index for trajectories of RFID tags and proposes the solution for solving this p...
165
click to vote
SRDS
2008
IEEE
16 years 27 days ago
2008
IEEE
In many reliable Wireless Sensor Network (WSN) applications, messages have different priorities depending on urgency or importance. For example, a message reporting the failure of...
169
click to vote
TPHOL
2008
IEEE
16 years 27 days ago
2008
IEEE
Although graphs are very common in computer science, they are still very difficult to handle for proof assistants as proving properties of graphs may require heavy computations. T...