7397 search results - page 262 / 1480 » Processes Are Data: A Programming Model for Distributed Appl... |
167
click to vote
ENTCS
2006
15 years 6 months ago
2006
Klaim is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
158
click to vote
ACSAC
2005
IEEE
16 years 7 days ago
2005
IEEE
Software model checking has become a popular tool for verifying programs’ behavior. Recent results suggest that it is viable for finding and eradicating security bugs quickly. ...
156
click to vote
FLAIRS
2004
15 years 8 months ago
2004
Effective personalization is greatly demanded in highly heterogeneous and diverse e-commerce domain. In our approach we rely on the idea that an effective personalization techniqu...
154
click to vote
DBPL
2003
Springer
15 years 12 months ago
2003
Springer
We introduce the Xdπ calculus, a peer-to-peer model for reasoning about dynamic web data. Web data is not just stored statically. Rather it is referenced indirectly, for example ...
177
click to vote
VLDB
2004
ACM
15 years 12 months ago
2004
ACM
Current developments in processing data streams are based on the best-effort principle and therefore not adequate for many application areas. When sensor data is gathered by inte...