1180 search results - page 141 / 236 » Interaction Protocols in Agentis |
100
click to vote
TLCA
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures nicatio...
93
Voted
MDM
2004
Springer
15 years 6 months ago
2004
Springer
Enabling people-to-people interaction across heterogeneous communication end-points enhances user experience and fosters people collaboration. This paper presents the design and i...
75
Voted
SEKE
2004
Springer
15 years 6 months ago
2004
Springer
This paper describes the software infrastructure introduced within the AgentService framework in order to provide support for ontology design, development, and management. Ontolog...
106
click to vote
UML
2001
Springer
15 years 5 months ago
2001
Springer
Abstract: A mass market in reusable components demands a high level of component quality, testing being a crucial part of software quality assurance. For components modelled in UML...
101
Voted
CHI
1999
ACM
15 years 5 months ago
1999
ACM
A prerequisite to the effective design of user interfaces is an understanding of the tasks for which that interface will actually be used. Surprisingly little task analysis has ap...