468 search results - page 25 / 94 » Specification of Behaviour in Component Frameworks |
BPM
2005
Springer
13 years 10 months ago
2005
Springer
: We present a framework for augmenting business process specifications with policy expressions such as obligations, permissions and prohibitions. One use of such a combined model ...
CAISE
2005
Springer
14 years 2 months ago
2005
Springer
Collaborative, visual design tools are typically difficult to build and evolve. We describe a meta tool for specification and generation of multiple view, multiple user visual desi...
CORR
2004
Springer
13 years 8 months ago
2004
Springer
In this paper we present a framework for creating natural language interfaces to action-based applications. Our framework uses a number of reusable application-independent compone...
AVI
1996
13 years 9 months ago
1996
A framework for user-interfaces to databases (IDSs) is proposed which draws from existing research on human computer interaction (HCI) and database systems. The framework is descr...
ENTCS
2007
13 years 8 months ago
2007
We present a powerful and flexible method for automatically checking the secrecy of values inside components. In our framework an attacker may monitor the external communication ...