Sciweavers

2944 search results - page 238 / 589
» On Well Quasi-orders on Languages
Sort
View
JCC
2000
66views more  JCC 2000»
15 years 6 months ago
The molecular modeling toolkit: A new approach to molecular simulations
The Molecular Modeling Toolkit is a library that implements common molecular simulation techniques, with an emphasis on biomolecular simulations. It uses modern software engineeri...
Konrad Hinsen
IR
2002
15 years 6 months ago
Hierarchical Text Categorization Using Neural Networks
This paper presents the design and evaluation of a text categorization method based on the Hierarchical Mixture of Experts model. This model uses a divide and conquer principle to ...
Miguel E. Ruiz, Padmini Srinivasan
JUCS
2002
146views more  JUCS 2002»
15 years 6 months ago
A Framework for Semantics of UML Sequence Diagrams in PVS
: This paper presents a framework for representing formal semantics of a subset of the Unified Modeling Language (UML) notation in a higher-order logic, more specifically semantics...
Demissie B. Aredo
SAC
2002
ACM
15 years 6 months ago
Secure mobile agent systems using Java: where are we heading?
Java is the predominant language for mobile agent systems, both for implementing mobile agent execution environments and for writing mobile agent applications. This is due to inhe...
Walter Binder, Volker Roth
ISOLA
2010
Springer
15 years 5 months ago
Worst-Case Analysis of Heap Allocations
In object oriented languages, dynamic memory allocation is a fundamental concept. When using such a language in hard real-time systems, it becomes important to bound both the worst...
Wolfgang Puffitsch, Benedikt Huber, Martin Schoebe...