2730 search results - page 432 / 546 » An Abstract Model for Process Mediation |
159
click to vote
GLVLSI
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper describes a formal verification methodology of highnthesis (HLS) process. The abstraction level of the input to HLS is so high compared to that of the output that the v...
155
click to vote
APNOMS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Despite the importance of seamless connectivity in ubiquitous computing, research for seamless connectivity has not been considered properly. To provide seamless connecti...
136
click to vote
DAGM
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Klassen et al. [9] recently developed a theoretical formulation to model shape dissimilarities by means of geodesics on appropriate spaces. They used the local geometry o...
174
click to vote
MABS
2000
Springer
15 years 9 months ago
2000
Springer
There is a growing belief that the agents' cognitive structures play a central role on the enhancement of predicative capacities of decision-making strategies. This paper anal...
140
click to vote
ASAP
1997
IEEE
15 years 9 months ago
1997
IEEE
In this paper we present an approach for quantitative analysis of application-specific dataflow architectures. The approach allows the designer to rate design alternatives in a qu...