Sciweavers

1240 search results - page 110 / 248
» Composition with Target Constraints
Sort
View
SOCO
2009
Springer
15 years 10 months ago
Specifying and Composing Non-functional Requirements in Model-Based Development
Abstract. Non-functional requirements encompass important design concerns such as schedulability, security, and communication constraints. In model-based development they non-local...
Ethan K. Jackson, Dirk Seifert, Markus Dahlweid, T...
ICYCS
2008
IEEE
15 years 10 months ago
A Trust-Enabling Support for Goal-Based Services
Service-Oriented Computing allows new applications to be developed by using and/or combining services offered by different providers. In several cases a service needs sensitive in...
Luiz Olavo Bonino da Silva Santos, Luís Fer...
ESOP
2007
Springer
15 years 10 months ago
Interprocedurally Analysing Linear Inequality Relations
In this paper we present an alternative approach to interprocedurally g linear inequality relations. We propose an abstraction of the effects of procedures through convex sets of t...
Helmut Seidl, Andrea Flexeder, Michael Petter
DOCENG
2006
ACM
15 years 10 months ago
The limsee3 multimedia authoring model
For most users, authoring multimedia documents remains a complex task. One solution to deal with this problem is to provide template-based authoring tools but with the drawback of...
Romain Deltour, Cécile Roisin
ECAI
2004
Springer
15 years 9 months ago
Avatars That Learn How to Behave
It is possible to model avatars that learn to simulate object manipulations and other complex actions. A number of applications may benefit from this technique including safety, e...
Adam Szarowicz, Paolo Remagnino