7661 search results - page 1371 / 1533 » Languages and the Computing Profession |
175
click to vote
IFIP
2003
Springer
16 years 7 days ago
2003
Springer
Wi-Fi hotspots are one of the most promising scenarios for mobile computing. In this scenario, a very limiting factor is the scarcity of mobile-device energetic resources. Both har...
190
Voted
WSE
2002
IEEE
15 years 12 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 ...
207
click to vote
SACMAT
2010
ACM
15 years 12 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 ...
199
click to vote
AISC
2010
Springer
15 years 12 months ago
2010
Springer
Mathematical notations around the world are diverse. Not as much as requiring computing machines’ makers to adapt to each culture, but as much as to disorient a person landing on...
177
click to vote
CPAIOR
2010
Springer
15 years 12 months ago
2010
Springer
In this paper, we present a constraint programming approach for the service consolidation problem that is being currently tackled by Neptuny, Milan. The problem is defined as: Giv...