Sciweavers

5792 search results - page 1034 / 1159
» Communicating With Multiple Agents
Sort
View
FGCS
2010
99views more  FGCS 2010»
13 years 7 months ago
A conceptual model for attribute aggregation
This paper describes a conceptual model for attribute aggregation that allows a service provider (SP) to authorise a user’s access request based on attributes asserted by multip...
David W. Chadwick, George Inman, Nate Klingenstein
IANDC
2010
125views more  IANDC 2010»
13 years 7 months ago
Continuation semantics for the Lambek-Grishin calculus
Categorial grammars in the tradition of Lambek [18, 19] are asymmetric: sequent statements are of the form Γ ⇒ A, where the succedent is a single formula A, the antecedent a st...
Raffaella Bernardi, Michael Moortgat
ICFEM
2010
Springer
13 years 7 months ago
Automating Cut-off for Multi-parameterized Systems
Abstract. Verifying that a parameterized system satisfies certain desired properties amounts to verifying an infinite family of the system instances. This problem is undecidable ...
Youssef Hanna, David Samuelson, Samik Basu, Hrides...
IPM
2010
134views more  IPM 2010»
13 years 7 months ago
Breakdowns in collaborative information seeking: A study of the medication process
Collaborative information seeking is integral to many professional activities. In hospital work, the medication process encompasses continual seeking for information and collaborat...
Morten Hertzum
JTAER
2010
100views more  JTAER 2010»
13 years 7 months ago
Determinants of Consumers' Perceived Trust in IT-Ecosystems
Digital ecosystems, or IT-ecosystems (ITEs), are composed of multiple and independent entities such as individuals, organizations, services, software, and applications. Together, ...
Klaus-Peter Wiedmann, Nadine Hennigs, Dieter Varel...
« Prev « First page 1034 / 1159 Last » Next »