2863 search results - page 468 / 573 » Computer modelling and natural phenomena |
209
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
Conventional network management is based on SNMP and often run in a centralized manner. Although the centralized management approach gives network administrators a flexibility of ...
225
click to vote
NEUROSCIENCE
2001
Springer
15 years 11 months ago
2001
Springer
Contours and surfaces are basic qualities which are processed by the visual system to aid the successful behavior of autonomous beings within the environment. There is increasing e...
157
click to vote
PADL
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Programming with rewrite rules and strategies has been already used for describing several computational logics. This paper describes the way the Needham-Schroeder Public...
151
click to vote
AUIC
2000
IEEE
15 years 11 months ago
2000
IEEE
A trend in computing environments today is to move towards more ‘natural’ interaction, another is to make hardware invisible to the user. Both these ideas converge into ubiqui...
174
click to vote
CONCUR
2000
Springer
15 years 10 months ago
2000
Springer
Model checking based on the causal partial order semantics of Petri nets is an approach widely applied to cope with the state space explosion problem. One of the ways to exploit su...