1895 search results - page 252 / 379 » Using ATL for Checking Models |
151
click to vote
AIL
2007
15 years 5 months ago
2007
In order to improve the management of copyright in the Internet, known as Digital Rights Management, there is the need for a shared language for copyright representation. Current a...
172
click to vote
UIST
1993
ACM
15 years 9 months ago
1993
ACM
Model-based user interface design is centered around a description of application objects and operations at a level of ion higher than that of code. A good model can be used to su...
120
click to vote
JMM2
2007
15 years 4 months ago
2007
Abstract— In 2006, Gaurav Gupta and Josef Pieprzyk presented an attack on the branch-based software watermarking scheme proposed by Ginger Myles and Hongxia Jin in 2005. The softw...
145
click to vote
ILP
2007
Springer
15 years 11 months ago
2007
Springer
The management of business processes has recently received a lot of attention. One of the most interesting problems is the description of a process model in a language that allows ...
142
click to vote
APSEC
2004
IEEE
15 years 8 months ago
2004
IEEE
Service-based systems engineering is a recent paradigm that has proven useful for the development of multifunctional systems, whose functions may be used in different contexts and...