731 search results - page 82 / 147 » Applying a Model Driven Approach to an E-Business Environmen... |
106
click to vote
SAC
2008
ACM
15 years 2 days ago
2008
ACM
This paper introduces an approach to develop componentbased adaptive distributed applications. Our approach separates the communication and the functional aspects of a distributed...
JSS
2006
15 years 16 days ago
2006
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...
115
Voted
CSCL
2006
15 years 19 days ago
2006
Future CSCL technologies are described by the community as flexible, tailorable, negotiable, and appropriate for various collaborative settings, conditions and contexts. This paper...
115
Voted
ICFEM
2007
Springer
15 years 6 months ago
2007
Springer
We present a formal, tool-supported approach to the design and maintenance of access control policies expressed in the eXtensible Access Control Markup Language (XACML). Our aim is...
130
click to vote
CVPR
2005
IEEE
16 years 2 months ago
2005
IEEE
Classifying pictures into one of several semantic categories is a classical image understanding problem. In this paper, we present a stratified approach to both binary (outdoor-in...