6317 search results - page 366 / 1264 » System Support for Pervasive Applications |
236
click to vote
CASES
2004
ACM
15 years 11 months ago
2004
ACM
With the ever-increasing pervasiveness of the Internet and its stringent performance requirements, network system designers have begun utilizing specialized chips to increase the ...
185
click to vote
AMAST
2004
Springer
15 years 11 months ago
2004
Springer
We present a calculus for the verification of sequential Java programs. It supports all Java language constructs and has additional support for Java Card. The calculus is formally ...
234
click to vote
IEEESCC
2007
IEEE
16 years 1 months ago
2007
IEEE
Large-scale distributed systems, such as e-healthcare systems, are difficult to develop due to their complex and decentralized nature. The Service Oriented Architecture facilitat...
221
click to vote
KDD
1997
ACM
15 years 11 months ago
1997
ACM
Exploratory data analysis is a process of sifting through data in search of interesting information or patterns. Analysts’ current tools for exploring data include database mana...
230
click to vote
JNSM
2000
15 years 7 months ago
2000
The successful deployment of next-generation distributed multimedia systems is signi cantly dependent on the e cient management support that improves the performance and the relia...