3943 search results - page 390 / 789 » Architecture-Level Requirements Specification |
174
click to vote
COMPSAC
1997
IEEE
15 years 11 months ago
1997
IEEE
I n this paper, we propose an approach to reuse-based software development using formal method. I n our approach, each software component is annotated with a set of predicates to ...
167
click to vote
JSSPP
1998
Springer
15 years 11 months ago
1998
Springer
Metacomputing systems are intended to support remote and/or concurrent use of geographically distributed computational resources. Resource management in such systems is complicate...
199
click to vote
VLDB
1998
ACM
15 years 11 months ago
1998
ACM
Classification of large datasets is an important data mining problem. Many classification algorithms have been proposed in the literature, but studies have shown that so far no al...
167
click to vote
HPDC
1996
IEEE
15 years 11 months ago
1996
IEEE
A collaborative multimedia environment allows users to work remotely on common projects by sharing applications (e.g., CAD tools, text editors, white boards) and simultaneously co...
167
click to vote
ICANN
1997
Springer
15 years 11 months ago
1997
Springer
: Substantial evidence indicates that the time structure of neuronal spike trains is relevant in neuronal signal processing. Bio-inspired spiking neural networks are taking these r...