Sciweavers

6796 search results - page 625 / 1360
» Java for Embedded Systems
Sort
View
HICSS
2007
IEEE
116views Biometrics» more  HICSS 2007»
16 years 1 months ago
Fine-Grained and Scalable Approaches for Message Integrity
When we have multiple users compiling a single message, including shared contents, metadata, policy, and so on, the integrity of the contents created by individual users needs to ...
Joon S. Park, Ganesh Devarajan
PPDP
2007
Springer
16 years 1 months ago
Interactive, scalable, declarative program analysis: from prototype to implementation
Static analyses provide the semantic foundation for tools ranging from optimizing compilers to refactoring browsers and advanced debuggers. Unfortunately, developing new analysis ...
William C. Benton, Charles N. Fischer
RTA
2007
Springer
16 years 1 months ago
Rewriting Approximations for Fast Prototyping of Static Analyzers
This paper shows how to construct static analyzers using tree automata and rewriting techniques. Starting from a term rewriting system representing the operational semantics of the...
Yohan Boichut, Thomas Genet, Thomas P. Jensen, Luk...
SIGMETRICS
2006
ACM
168views Hardware» more  SIGMETRICS 2006»
16 years 1 months ago
Throughput performance of popular JMS servers
The Java Messaging Service (JMS) facilitates communication among distributed software components according to the publish/subscribe principle. If the subscribers install filter r...
Michael Menth, Robert Henjes, Christian Zepfel, Se...
ESCIENCE
2005
IEEE
16 years 27 days ago
Sensor Networks and Grid Middleware for Laboratory Monitoring
By combining automatic environment sensing and experimental data collection with broker based messaging middleware, a system has been produced for the real-time monitoring of expe...
Jamie M. Robinson, Jeremy G. Frey, Andy J. Stanfor...