5343 search results - page 627 / 1069 » Keyword programming in java |
182
click to vote
EMSOFT
2005
Springer
16 years 11 days ago
2005
Springer
We propose a programming model dedicated to real-time videostreaming applications for embedded media devices, including highdefinition TVs. This model is built on the synchronous...
196
click to vote
CSCW
2004
ACM
16 years 8 days ago
2004
ACM
In this paper, we introduce the concept of dynamically changing between centralized, replicated, and hybrid collaboration architectures. It is implemented by providing users a fun...
183
click to vote
DOCENG
2004
ACM
16 years 8 days ago
2004
ACM
We show that an XML DTD (Document Type Definition) can be viewed as the fixed point of a parametric content model. We then use natural transformations from the source content mo...
169
click to vote
ISLPED
2004
ACM
16 years 8 days ago
2004
ACM
Mobile, battery-powered devices such as personal digital assistants and web-enabled mobile phones have successfully emerged as new access points to the world’s digital infrastru...
157
click to vote
CCS
2004
ACM
16 years 7 days ago
2004
ACM
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have machine-checked a recent work of B...