6829 search results - page 1106 / 1366 » Quantitative Generalizations of Languages |
145
click to vote
VISUALIZATION
2002
IEEE
15 years 9 months ago
2002
IEEE
The current state of the art in visualization research places a strong emphasis on different techniques to derive insight from disparate types of data. However, little work has in...
143
click to vote
WSE
2002
IEEE
15 years 9 months ago
2002
IEEE
The World Wide Web, initially intended as a way to publish static hypertexts on the Internet, is moving toward complex applications. Static Web sites are being gradually replaced ...
162
Voted
SACMAT
2010
ACM
15 years 9 months ago
2010
ACM
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...
134
click to vote
GECCO
2010
Springer
15 years 9 months ago
2010
Springer
As computers become increasingly mobile, users demand more functionality, longer battery-life, and better performance from mobile devices. In response, chipset fabricators are foc...
115
click to vote
ICSE
2010
IEEE-ACM
15 years 9 months ago
2010
IEEE-ACM
Large-scale software engineering requires communication and collaboration to successfully build and ship products. We conducted a survey with Microsoft engineers on inter-team coo...