Sciweavers

1609 search results - page 203 / 322
» Generating Application Development Environments for Java Fra...
Sort
View
MKM
2009
Springer
15 years 7 months ago
Integrating Web Services into Active Mathematical Documents
Abstract. Active mathematical documents are distinguished from traditional paper-oriented ones by their ability to interactively adapt to a reader’s inputs. This includes changes...
Jana Giceva, Christoph Lange 0002, Florian Rabe
FMCO
2008
Springer
133views Formal Methods» more  FMCO 2008»
15 years 4 months ago
BML and Related Tools
The Bytecode Modeling Language (BML) is a specication for Java bytecode, that provides a high level of abstraction, while not restricting the format of the bytecode. Notably, BML s...
Jacek Chrzaszcz, Marieke Huisman, Aleksy Schubert
146
Voted
IJCIS
1998
116views more  IJCIS 1998»
15 years 2 months ago
Distributed Query Scheduling Service: An Architecture and Its Implementation
We present the systematic design and development of a distributed query scheduling service DQS in the context of DIOM, a distributed and interoperable query mediation system 26 ...
Ling Liu, Calton Pu, Kirill Richine
137
Voted
ISORC
2007
IEEE
15 years 8 months ago
A Comparative Evaluation of EJB Implementation Methods
As E-businesses are becoming ubiquitous, enhancing the performance and scalability of ebusiness systems has become an increasingly important topic of investigation. As Vitruvius (...
Andreas Stylianou, Giovanna Ferrari, Paul D. Ezhil...
JAIR
2000
96views more  JAIR 2000»
15 years 2 months ago
OBDD-based Universal Planning for Synchronized Agents in Non-Deterministic Domains
Recently model checking representation and search techniques were shown to be efciently applicable to planning, in particular to non-deterministic planning. Such planning approach...
Rune M. Jensen, Manuela M. Veloso