6 search results - page 1 / 2 » Using ATL to define advanced and flexible constraint model t... |
CORR
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Transforming constraint models is an important task in recent constraint programming systems. User-understandable models are defined during the modeling phase but rewriti...
BIS
2009
13 years 6 months ago
2009
Abstract. In current dynamic business environment, it has been argued that certain characteristics of ad-hocism in business processes are desirable. Such business processes typical...
DATE
2008
IEEE
13 years 11 months ago
2008
IEEE
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...
SIGMOD
2004
ACM
14 years 5 months ago
2004
ACM
The prevalent use of XML highlights the need for a generic, flexible access-control mechanism for XML documents that supports efficient and secure query access, without revealing ...
CF
2004
ACM
13 years 10 months ago
2004
ACM
Pervasive computing applications allow users to access information from anywhere while traveling and using variety of devices. Heterogeneity and limitation of resources involved i...