Sciweavers

1027 search results - page 67 / 206
» A Model for Java with Wildcards
Sort
View
SRDS
2003
IEEE
15 years 8 months ago
Component Replication in Distributed Systems: A Case Study Using Enterprise Java Beans
A recent trend has seen the extension of objectoriented middleware to component-oriented middleware. A major advantage components offer over objects is that only the business logi...
Achmad I. Kistijantoro, Graham Morgan, Santosh K. ...
122
Voted
ENTCS
2006
109views more  ENTCS 2006»
15 years 3 months ago
Roles as a Coordination Construct: Introducing powerJava
In this paper we apply the role metaphor to coordination. Roles are used in sociology as a way to structure organizations and to coordinate their behavior. In our model, the featu...
Matteo Baldoni, Guido Boella, Leendert W. N. van d...
ECBS
2003
IEEE
145views Hardware» more  ECBS 2003»
15 years 8 months ago
Model Checking and Evidence Exploration
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka
SEMWEB
2001
Springer
15 years 7 months ago
RDF Models for Dynamic Syndication and Wireless Applications
Machine-understandable metadata is providing the foundation for next-generationframeworks that enable automated construction ofserver-side Java applications. Suchapplications are ...
Leon A. Shklar
ENVSOFT
2008
79views more  ENVSOFT 2008»
15 years 3 months ago
A Lagrangian tool for modelling ichthyoplankton dynamics
Ichthyop is a free Java tool designed to study the effects of physical and biological factors on ichthyoplankton dynamics. It incorporates the most important processes involved in...
Christophe Lett, Philippe Verley, Christian Mullon...