15253 search results - page 2961 / 3051 » Integer-Programming Software Systems |
122
click to vote
SAC
2008
ACM
15 years 1 months ago
2008
ACM
Automatic cost analysis has interesting applications in the context of verification and certification of mobile code. For instance, the code receiver can use cost information in o...
110
click to vote
ECOI
2010
15 years 1 months ago
2010
We describe a semantic data validation tool that is capable of observing incoming real-time sensor data and performing reasoning against a set of rules specific to the scientific d...
97
Voted
FGCS
2010
15 years 29 days ago
2010
System-level virtualization is today enjoying a rebirth, after first gaining popularity in the 1970s as a technique to effectively share what were then considered large computin...
125
click to vote
INFOCOM
2010
IEEE
15 years 26 days ago
2010
IEEE
—BitTorrent (BT) has carried out a significant and continuously increasing portion of Internet traffic. While several designs have been recently proposed and implemented to imp...
136
click to vote
JTAER
2010
15 years 26 days ago
2010
An Input validation can be a critical issue. Typically, a little attention is paid to it in a web development project, because overenthusiastic validation can tend to cause failur...