2713 search results - page 279 / 543 » Parameterized Tree Systems |
162
click to vote
CBMS
2006
IEEE
16 years 20 days ago
2006
IEEE
This paper describes techniques used in a Web-based decision support system to enhance dermatological diagnosis for rural and remote communities. We proposed a technique to improv...
158
click to vote
CAV
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
149
click to vote
ISSADS
2005
Springer
16 years 3 days ago
2005
Springer
We present a simple implementation of a token-based distributed mutual exclusion algorithm for multithreaded systems. Several per-node requests could be issued by threads running ...
162
click to vote
INFOCOM
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper sketches the design, and presents a scalability analysis and evaluation of NLS, a scalable naming and location service. NLS resolves textual names to the nearest of a s...
180
click to vote
SIGGRAPH
1996
ACM
15 years 10 months ago
1996
ACM
Interaction with the environment is a key factor affecting the development of plants and plant ecosystems. In this paper we introduce a modeling framework that makes it possible t...