1496 search results - page 175 / 300 » Definability of Initial Segments |
145
click to vote
EUC
2004
Springer
15 years 11 months ago
2004
Springer
As the vision of ubiquitous computing becomes reality smart devices are embedded into our surroundings and domestic appliances providing services transparently. The nature of such ...
157
click to vote
ADBIS
2000
Springer
15 years 10 months ago
2000
Springer
We consider queries which originate from a mobile unit and whose result depends on the location of the user who initiates the query. Example of such a query is How many people are ...
185
click to vote
ICSE
1992
IEEE-ACM
15 years 10 months ago
1992
IEEE-ACM
Although there is much interest in creating libraries of well-designed, thoroughly-tested classes that can be confidently reused for many applications, few class testing technique...
159
click to vote
FDL
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract-- Analog and Mixed Signal (AMS) designs are important integrated systems that link digital circuits to the analog world. Following the success of PSL verification methodol...
218
click to vote
DILS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Ecologists spend considerable effort integrating heterogeneous data for statistical analyses and simulations, for example, to run and test predictive models. Our research...