7121 search results - page 1112 / 1425 » Functions as Session-Typed Processes |
155
click to vote
SBRN
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper describes an architecture based on spatiotemporal networks that identifies sequences of numbers. This architecture incorporates an input layer that transforms (by means...
207
click to vote
DSVIS
1998
Springer
15 years 10 months ago
1998
Springer
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...
155
click to vote
COMPSAC
1997
IEEE
15 years 10 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 ...
176
click to vote
PKDD
1998
Springer
15 years 10 months ago
1998
Springer
Knowledge discovery in databases (KDD) is a process that can include steps like forming the data set, data transformations, discovery of patterns, searching for exceptions to a pat...
163
Voted
POS
1998
Springer
15 years 10 months ago
1998
Springer
In light of advances in processor and networking technology, especially the emergence of network attached disks, the traditional client-server architecture becomes suboptimal for ...