Sciweavers

2550 search results - page 133 / 510
» The Meaning of Open Standards
Sort
View
CARDIS
2008
Springer
119views Hardware» more  CARDIS 2008»
15 years 8 months ago
Static Program Analysis for Java Card Applets
The Java Card API provides a framework of classes and interfaces that hides the details of the underlying smart card interface, thus relieving developers from going through the swa...
Vasilios Almaliotis, Alexandros Loizidis, Panagiot...
EOR
2007
78views more  EOR 2007»
15 years 6 months ago
A heuristic for the three-dimensional strip packing problem
The contribution presents a heuristic for the three-dimensional strip packing problem (3D-SPP) with rectangular pieces (boxes). The considered 3D-SPP can be formulated as follows:...
Andreas Bortfeldt, Daniel Mack
ETS
2002
IEEE
146views Hardware» more  ETS 2002»
15 years 6 months ago
Teaching Motor Disability Assessment over the Web: MODASPECTRA
MODASPECTRA (MOtor Disability Assessment SPEcialists' TRAining) was a research and technology development project aimed at developing quality teaching and training of post-gr...
Salvatore Valenti, Sandro Fioretti, Maurizio Mauri...
JMIV
1998
93views more  JMIV 1998»
15 years 6 months ago
Connectivity on Complete Lattices
Classically, connectivity is a topological notion for sets, often introduced by means of arcs. A non topological axiomatics has been proposed by Matheron and Serra. The present pa...
Jean Serra
LOGCOM
2002
72views more  LOGCOM 2002»
15 years 6 months ago
Definability in Rationals with Real Order in the Background
The paper deals with logically definable families of sets (or point-sets) of rational numbers. In particular we are interested whether the families definable over the real line wi...
Yuri Gurevich, Alexander Moshe Rabinovich