10156 search results - page 60 / 2032 » Step by Step to Histories |
TOOLS
1999
IEEE
15 years 4 months ago
1999
IEEE
The Unified Modeling Language (UML) is a set of notations for modelling object-oriented systems. It has become the de facto standard. Most of its notations are diagrammatic. An ex...
90
Voted
HCW
1998
IEEE
15 years 4 months ago
1998
IEEE
Java's design goals of portability, safety, and ubiquity make it a potentially ideal language for large-scale heterogeneous computing. One of the remaining challenges is to c...
ISER
1999
Springer
15 years 4 months ago
1999
Springer
113
click to vote
IPPS
1998
IEEE
15 years 4 months ago
1998
IEEE
Recent advances in FPGA technologies allow to configure the RAM-based FPGA devices in a reduced time as an effective support for real-time applications. The physical dimensions of ...
TABLEAUX
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. We define sequent-style calculi for nominal tense logics characterized by classes of modal frames that are first-order definable by certain Π0 1 -formulae and Π0 2 -...