554 search results - page 32 / 111 » Communicating Structures for Modeling Large-scale Systems |
ATAL
2003
Springer
15 years 5 months ago
2003
Springer
In complex distributed applications, a problem is often decomposed into a set of subproblems that are distributed to multiple agents. We formulate this class of problems with a tw...
INFOCOM
2009
IEEE
15 years 6 months ago
2009
IEEE
—Distributed object search is the primary function of Peer-to-Peer (P2P) file sharing system to locate and transfer the file. The predominant search schemes in unstructured P2P...
113
click to vote
CA
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper describes an animated conversational agent called Kare1 which integrates a talking head interface with a linguistically motivated human-machine dialogue system. The age...
170
click to vote
FDL
2004
IEEE
15 years 3 months ago
2004
IEEE
gn process of embedded systems moves currently towards higher levels of abstraction. As a consequence, a need arises for an early and realistic assessment of system level design d...
IWSSD
2000
IEEE
15 years 4 months ago
2000
IEEE
While implicit invocation (publish-subscribe) systems have goodengineering properties, they are difficult toreason about and to test. Model checking such systems is an attractive...