2730 search results - page 229 / 546 » An Abstract Model for Process Mediation |
177
click to vote
IJCNN
2007
IEEE
16 years 23 days ago
2007
IEEE
Abstract—Putative brain processes responsible for understanding language are based on spreading activation in semantic networks, providing enhanced representations that involve c...
178
click to vote
CEFP
2005
Springer
15 years 12 months ago
2005
Springer
This chapter describes Hume: a functionally-based language for programming with bounded resource usage, including time and space properties. The purpose of the Hume language design...
157
click to vote
FPL
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Visual data
ow environments are ideally suited for modeling digital signal processing (DSP) systems, as many DSP algorithms are most naturally speci ed by signal
ow gra...
175
click to vote
TACAS
2010
Springer
15 years 4 months ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...
191
click to vote
ADBIS
2006
Springer
16 years 13 days ago
2006
Springer
Abstract. In this paper, we identify issues and present solutions developed – both theoretical and experimental – during the course of developing a data stream management syste...