6829 search results - page 1106 / 1366 » Quantitative Generalizations of Languages |
198
click to vote
VISUALIZATION
2002
IEEE
16 years 5 days 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...
195
click to vote
WSE
2002
IEEE
16 years 5 days 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 ...
220
click to vote
SACMAT
2010
ACM
16 years 2 days 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 ...
185
click to vote
GECCO
2010
Springer
16 years 2 days 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...
173
click to vote
ICSE
2010
IEEE-ACM
16 years 1 days 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...