Sciweavers

5384 search results - page 806 / 1077
» Open Standards Requirements
Sort
View
GPCE
2004
Springer
16 years 25 days ago
SourceWeave.NET: Cross-Language Aspect-Oriented Programming
Aspect-Oriented Programming (AOP) addresses limitations in the Object-Oriented (OO) paradigm relating to modularisation of crosscutting behaviour. In AOP, crosscutting behaviour is...
Andrew Jackson, Siobhán Clarke
218
Voted
GRID
2004
Springer
16 years 25 days ago
Design, Implementation and Performance Evaluation of GridRPC Programming Middleware for a Large-Scale Computational Grid
This paper reports on the design, implementation and performance evaluation of a suite of GridRPC programming middleware called Ninf-G Version 2 (Ninf-G2). NinfG2 is a reference i...
Yoshio Tanaka, Hiroshi Takemiya, Hidemoto Nakada, ...
189
Voted
ICWL
2004
Springer
16 years 24 days ago
CUBES: Providing Flexible Learning Environment for Virtual Universities
Abstract. To enable an online virtual university, a learning environment covering the entire spectrum of the learning and management process is required. However, constructing such...
Peifeng Xiang, Yuanchun Shi, Weijun Qin, Xin Xiang
IFIP
2004
Springer
16 years 24 days ago
Solving Packing Problem with Weaker Block Solvers
We study the general packing problem with M constraints. In [Jansen and Zhang, TCS 2002] a c(1 + ε)-approximation algorithm for the general packing problem was proposed. A block s...
Hu Zhang
IFM
2004
Springer
104views Formal Methods» more  IFM 2004»
16 years 24 days ago
Linking CSP-OZ with UML and Java: A Case Study
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
Michael Möller, Ernst-Rüdiger Olderog, H...