Sciweavers

5343 search results - page 110 / 1069
» Keyword programming in java
Sort
View
APPINF
2003
13 years 11 months ago
Localizing XML Documents through XSLT
Existing efforts on XML internationalization and localization have been focusing on the contents of XML documents instead of on the meta presentations such as tags and attributes...
Yijun Yu, Jianguo Lu, Jing-Hao Xue, Yi Zhang, Weiw...
ECOOP
2010
Springer
14 years 3 months ago
Type-Safe Eventful Sessions in Java
Event-driven programming is a major paradigm in concurrent and communication-based programming, and a widely adopted approach to building scalable high-concurrency servers. However...
Raymond Hu, Dimitrios Kouzapas, Olivier Pernet, No...
FMICS
2008
Springer
13 years 12 months ago
Automated Certification of Non-Interference in Rewriting Logic
Abstract. In this paper we propose a certification technique for noninterference of Java programs based on rewriting logic, a very general logical and semantic framework efficientl...
Mauricio Alba-Castro, María Alpuente, Santi...
IWPC
2003
IEEE
14 years 3 months ago
Automatic Design Pattern Detection
We detect design patterns in legacy code combining static and dynamic analyses. The analyses do not depend on coding or naming conventions. We classify potential pattern instances...
Dirk Heuzeroth, Thomas Holl, Gustav Högstr&ou...
TPDS
2008
74views more  TPDS 2008»
13 years 10 months ago
NRMI: Natural and Efficient Middleware
We present NRMI: a drop-in replacement for Java RMI that supports call-by-copy-restore semantics for arbitrary linked data structures, in addition to regular call-by-copy semantic...
Eli Tilevich, Yannis Smaragdakis