4890 search results - page 550 / 978 » From system specifications to component behavioral models |
193
click to vote
ERSA
2006
15 years 8 months ago
2006
In this paper we first outline and discuss the issues of currently accepted computational models for hybrid CPU/FPGA systems. Then, we discuss the need for researchers to develop ...
201
click to vote
WWW
2005
ACM
16 years 8 months ago
2005
ACM
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal...
205
click to vote
EDOC
2006
IEEE
16 years 1 months ago
2006
IEEE
Increasingly, distributed systems are being constructed by composing a number of discrete components. This practice, termed composition, is particularly prevalent within the Web s...
178
click to vote
ATAL
2006
Springer
15 years 11 months ago
2006
Springer
Intelligent agents are typically situated in a social environment and must reason about social cause and effect. Such reasoning is qualitatively different from physical causal rea...
212
click to vote
MDM
2009
Springer
16 years 1 months ago
2009
Springer
Indoor routing represents an essential feature required by applications and systems that provide spatial information about complex sites, buildings and infrastructures such as in ...