Sciweavers

6343 search results - page 888 / 1269
» Development of a Cartographic Language
Sort
View
APSEC
1999
IEEE
15 years 11 months ago
The Quest for Correct Systems: Model Checking of Diagrams and Datatypes
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
Jan Philipps, Oscar Slotosch
182
Voted
HICSS
1999
IEEE
132views Biometrics» more  HICSS 1999»
15 years 11 months ago
The Cultural Component of Designing and Evaluating International User Interfaces
By and large, cultural diversity is not being addressed in the design and development of user interfaces for international markets. Localization efforts that merely translate lang...
Nestor G. Trillo
155
Voted
ICDAR
1999
IEEE
15 years 11 months ago
Character and Document Research in the Open Mind Initiative
We describe the Open Mind Initiative, a framework for large-scale collaborative efforts in building components of "intelligent" systems that address common-sense reasoni...
David G. Stork
160
Voted
IPPS
1999
IEEE
15 years 11 months ago
Irregular Parallel Algorithms in JAVA
The nested data-parallel programming model supports the design and implementation of irregular parallel algorithms. This paper describes work in progress to incorporate nested data...
Brian Blount, Siddhartha Chatterjee, Michael Phili...
JIT
1999
Springer
123views Database» more  JIT 1999»
15 years 11 months ago
Byte Code Engineering
The term “Java” is used to denote two different concepts: the language itself and the related execution environment, the Java Virtual Machine (JVM), which executes byte code in...
Markus Dahm