17983 search results - page 365 / 3597 » Set Types and Applications |
207
click to vote
PASTE
2005
ACM
16 years 11 days ago
2005
ACM
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...
174
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Interpreting the results of high-throughput experiments, such as those obtained from DNA-microarrays, is an often time-consuming task due to the high number of data-po...
158
Voted
MHCI
2004
Springer
16 years 5 days ago
2004
Springer
Many mobile applications rely on the Global Positioning System (GPS) to provide position and location information. However, there are many problems with using GPS in urban environm...
165
click to vote
COMSUR
2000
15 years 6 months ago
2000
Trust is an important aspect of decision making for Internet applications and particularly influences the specification of security policy i.e. who is authorised to perform action...
216
click to vote
INFOCOM
2003
IEEE
16 years 3 days ago
2003
IEEE
— Structured peer-to-peer overlay networks such as CAN, Chord, Pastry, and Tapestry can be used to implement Internet-scale application-level multicast. There are two general app...