81 search results - page 16 / 17 » A Compositional Semantics for Focusing Subjuncts |
CJ
2006
13 years 7 months ago
2006
s the development of an abstract description of what there is in the world in an application-independent form. This paper argues that attempts to support information systems intero...
ICSOC
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. A key function of a Service Oriented Architecture is the separation between business logic and the platform of its implementation and deployment. Much of the focus in SOA...
SPIN
2005
Springer
14 years 26 days ago
2005
Springer
We describe a method for the specification and verification of the dynamic behaviour of component systems. Building applications using a component framework allows the developers...
MM
2010
ACM
13 years 7 months ago
2010
ACM
We present an interactive application that enables users to improve the visual aesthetics of their digital photographs using spatial recomposition. Unlike earlier work that focuse...
BMCBI
2008
13 years 7 months ago
2008
Background: Research in life sciences is benefiting from a large availability of formal description techniques and analysis methodologies. These allow both the phenomena investiga...