9018 search results - page 1708 / 1804 » 3D-Brain Model Software |
126
click to vote
ENTCS
2002
15 years 3 months ago
2002
Runtime verification permits checking system properties that cannot be fully verified off-line. This is particularly true when the system includes complex third-party components, ...
130
Voted
ECRA
2002
15 years 3 months ago
2002
This paper presents a formal and executable approach to capture the behaviour of parties involved in a negotiation. A party is modeled as a negotiating agent composed of a communi...
95
Voted
NAR
2000
15 years 3 months ago
2000
The UK Crop Plant Bioinformatics Network (UK CropNet) was established in 1996 in order to harness the extensive work in genome mapping in crop plants in the UK. Since this date we...
104
Voted
FMSD
2002
15 years 3 months ago
2002
Abstract. We de ne a concurrent mobile system as one where independently executing components may migrate through some space during the course of the computation, and where the pat...
151
Voted
IJWIN
2002
15 years 3 months ago
2002
Wireless LANs with their increased data rate become an attractive technology for connecting mobile users to the Internet. Efficient deployment of wireless LANs will require the ab...