3804 search results - page 647 / 761 » interactions 2008 |
157
click to vote
SECURWARE
2008
IEEE
16 years 16 days ago
2008
IEEE
— In current peer-to-peer systems users interact with unknown services and users for the purpose of online transactions such as file sharing and trading of commodities. Peer-to-...
165
click to vote
SEFM
2008
IEEE
16 years 16 days ago
2008
IEEE
The only practical way to test distributed messagepassing systems is to use local testing. In this approach, used in formalisms such as concurrent TTCN-3, some components are repl...
156
click to vote
SISAP
2008
IEEE
16 years 16 days ago
2008
IEEE
Many contemporary database applications require similarity-based retrieval of complex objects where the only usable knowledge of its domain is determined by a metric distance func...
150
click to vote
TOOLS
2008
IEEE
16 years 16 days ago
2008
IEEE
Programming in an object-oriented language demands a fine balance between high degrees of expressiveness and control. At one level, we need to permit objects to interact freely t...
164
click to vote
TOOLS
2008
IEEE
16 years 16 days ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...