7891 search results - page 1362 / 1579 » Local Area Networking |
159
Voted
CBSQ
2003
Springer
15 years 7 months ago
2003
Springer
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
130
Voted
CIKM
2003
Springer
15 years 7 months ago
2003
Springer
In this paper, we describe a graphical workflow management system called HyperThesis to address the challenges of integrating bioinformatics applications. HyperThesis is an integ...
131
click to vote
COSIT
2003
Springer
15 years 7 months ago
2003
Springer
Numerous cognitive studies have indicated that the form and complexity of route instructions may be as important to human navigators as the overall length of route. Most automated ...
140
click to vote
EUROPAR
2003
Springer
15 years 7 months ago
2003
Springer
This paper describes an agent-based architecture that extends personal mobility to ubiquitous environment. A software agent, running on a portable device, leverages the existing se...
121
click to vote
FPL
2003
Springer
15 years 7 months ago
2003
Springer
At Leiden Embedded Research Center (LERC), we are building a tool chain called Compaan/Laura that allows us to map fast and efficiently applications written in Matlab onto recon...