2316 search results - page 79 / 464 » The many forms of hypercomputation |
147
click to vote
TIME
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper we consider the specification and verification of infinite-state systems using temporal logic. In particular, we describe parameterised systems using a new variet...
124
click to vote
ECMDAFA
2007
Springer
15 years 10 months ago
2007
Springer
Due to the increased complexity of software development projects more and more systems are described by models. The sheer size makes it impractical to describe these systems by a s...
140
click to vote
ITCC
2005
IEEE
15 years 10 months ago
2005
IEEE
In many applications a software implementation of ECC (Elliptic Curve Cryptography) might be inappropriate due to performance requirements, therefore hardware implementations are ...
124
click to vote
CLEF
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The processing steps required for geographic information retrieval include many steps that are common to all forms of information retrieval, e.g. stopword filtering, ste...
148
click to vote
PERVASIVE
2005
Springer
15 years 9 months ago
2005
Springer
Pervasive computing environments will combine everyday physical spaces with network aware devices and services; hence providing computing behaviour that is much more entwined with...