2714 search results - page 406 / 543 » Under the table interaction |
124
Voted
CL
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Many key verification problems such as boundedmodel-checking,circuit verification and logical cryptanalysis are formalized with combined clausal and affine logic (i.e....
139
click to vote
DIGITALCITIES
2000
Springer
15 years 8 months ago
2000
Springer
The paper outlines results of feasibility experiments with new functions for a local version of the digital city, performed under a collective name 'Engineering City Oulu'...
136
Voted
FTDCS
1999
IEEE
15 years 8 months ago
1999
IEEE
We describe an environment for distributed computing that uses the concept of well-known paradigms. The main advantage of paradigmoriented distributed computing (PODC) is that the...
159
click to vote
VRST
1999
ACM
15 years 8 months ago
1999
ACM
Travel can be a stressful experience and it is an activity that is difficult to prepare for in advance. Although maps, routes and landmarks can be memorised, travellers do not get...
169
Voted
DSOM
1999
Springer
15 years 8 months ago
1999
Springer
The backup of large data sets is preferably performed automatically outside of regular working hours. In highly structured computer networks, however, faults and exceptions may rel...