Sciweavers

11561 search results - page 2157 / 2313
» A Language for Biochemical Systems
Sort
View
PDSE
1998
126views more  PDSE 1998»
13 years 11 months ago
Validation and Test Generation for Object-Oriented Distributed Software
The development of correct OO distributed software is a daunting task as soon as the distributed interactions are not trivial. This is due to the inherent complexity of distribute...
Thierry Jéron, Jean-Marc Jézé...
DEDUCTIVE
1997
119views Database» more  DEDUCTIVE 1997»
13 years 11 months ago
Inheritance with Overriding Without Non-monotonic Reasoning in Datalog++
We present a query language, called the Datalog++ , for deductive object-oriented databases. While a direct semantics for inheritance with overriding and encapsulation is desirabl...
Hasan M. Jamil
PDSE
2000
86views more  PDSE 2000»
13 years 11 months ago
A Principled Approach to Supporting Adaptation in Distributed Mobile Environments
To support multimedia applications in mobile environments, it will be necessary for applications to be aware of the underlying environmental conditions, and also to be able to ada...
Gordon S. Blair, Geoff Coulson, Anders Andersen, L...
WSC
1998
13 years 11 months ago
Windows-based Animation with PROOF
Proof AnimationTM is a family of products for animating discrete event simulations. Proof is available in a variety of versions, including an inexpensive, student version, midsize...
James O. Henriksen
RIAO
1997
13 years 11 months ago
Design Issues for World Wide Web Navigation Visualisation Tools
The World Wide Web (WWW) is a successful hypermedia information space used by millions of people, yet it suffers from many deficiencies and problems in support for navigation ar...
Andy Cockbum, Steve Jones
« Prev « First page 2157 / 2313 Last » Next »