8636 search results - page 1617 / 1728 » How Developers Copy |
141
Voted
IEEESCC
2005
IEEE
15 years 8 months ago
2005
IEEE
eal world”, represented abstractly using (time-varying) first-order logic predicates and terms. A representative composition result [11] here uses a translation into Petri nets. ...
119
click to vote
INFOCOM
2005
IEEE
15 years 8 months ago
2005
IEEE
— We consider a network of rechargeable sensors, deployed redundantly in a random sensing environment, and address the problem of how sensor nodes should be activated dynamically...
111
click to vote
INFOVIS
2005
IEEE
15 years 8 months ago
2005
IEEE
We present the Visual Code Navigator, a set of three interrelated visual tools that we developed for exploring large source code software projects from three different perspective...
133
click to vote
ISCA
2005
IEEE
15 years 8 months ago
2005
IEEE
Network Intrusion Detection and Prevention Systems have emerged as one of the most effective ways of providing security to those connected to the network, and at the heart of alm...
110
click to vote
KBSE
2005
IEEE
15 years 8 months ago
2005
IEEE
The use of web applications has become increasingly popular in our routine activities, such as reading the news, paying bills, and shopping on-line. As the availability of these s...