17983 search results - page 78 / 3597 » Set Types and Applications |
120
click to vote
EMSOFT
2009
Springer
15 years 7 months ago
2009
Springer
Embedded systems such as smart cards or sensors are now widespread, but are often closed systems, only accessed via dedicated terminals. A new trend consists in embedding Web serv...
159
click to vote
ADL
2000
Springer
15 years 6 months ago
2000
Springer
Digital libraries are a core information technology. When the stored data is complex, e.g. high-resolution images or molecular protein structures, simple query types like the exac...
165
click to vote
SAC
2006
ACM
15 years 2 months ago
2006
ACM
Ubiquitous computing places humans in the center of environments saturated with computing and wireless communications capabilities, yet gracefully integrated, so that technology r...
JSYML
2006
15 years 2 months ago
2006
Abstract. We present a generalisation of the type-theoretic interpretation of constructive set theory into Martin-L
120
click to vote
IRI
2006
IEEE
15 years 8 months ago
2006
IEEE
—The transformational methodology described in this paper induces new knowledge, which may be open under any deductive process. The method of transposition is used to maintain a ...