Sciweavers

2021 search results - page 180 / 405
» COCO: Composition Model and Composition Model Implementation
Sort
View
KI
2008
Springer
15 years 6 months ago
Concerning Olga, the Beautiful Little Street Dancer: Adjectives as Higher-Order Polymorphic Functions
In this paper we suggest a typed compositional semantics for nominal compounds of the form [Adj Noun] that models adjectives as higher-order polymorphic functions, and where types...
Walid S. Saba
CORR
2004
Springer
108views Education» more  CORR 2004»
15 years 6 months ago
Pervasive Service Architecture for a Digital Business Ecosystem
In this paper we present ideas and architectural principles upon which we are basing the development of a distributed, open-source infrastructure that, in turn, will support the ex...
Thomas Heistracher, Thomas Kurz, Claudius Masuch, ...
BLISS
2007
IEEE
16 years 24 days ago
Evolving the Face of a Criminal: How to Search a Face Space More Effectively
Witnesses and victims of serious crime are often required to construct a facial composite, a visual likeness of a suspect’s face. The traditional method is for them to select in...
Charlie D. Frowd, Vicki Bruce, Carol Gannon, Mark ...
IEEEARES
2010
IEEE
16 years 1 months ago
Solving the Transitive Access Problem for the Services Oriented Architecture
: © Solving the Transitive Access Problem for the Services Oriented Architecture Alan H. Karp, Jun Li HP Laboratories HPL-2008-204R1 SOA, web services, access control, RBAC, PBAC,...
Alan H. Karp, Jun Li
FASE
2004
Springer
15 years 12 months ago
Checking Absence of Illicit Applet Interactions: A Case Study
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
Marieke Huisman, Dilian Gurov, Christoph Sprenger,...