3233 search results - page 192 / 647 » Rule Modeling and Markup |
155
Voted
UML
2005
Springer
15 years 10 months ago
2005
Springer
Refactoring of UML class diagrams is an emerging research topic and heavily inspired by refactoring of program code written in object-oriented implementation languages. Current cla...
138
click to vote
WAIM
2005
Springer
15 years 10 months ago
2005
Springer
Monitoring the real-time status of voluntary nodes is a basic task of Quality of Services (QoS) management in grid. The heterogeneity of distributed host resources is an obvious ob...
124
click to vote
LICS
2003
IEEE
15 years 9 months ago
2003
IEEE
We provide a method for deciding the insecurity of cryptographic protocols in presence of the standard Dolev-Yao intruder (with a finite number of sessions) extended with so-call...
180
click to vote
AGP
2010
IEEE
15 years 8 months ago
2010
IEEE
We present an overview of the program transformation techniques which have been proposed over the past twenty-five years in the context of logic programming. We consider the appro...
127
click to vote
LREC
2008
15 years 6 months ago
2008
In this paper, we present a simple yet efficient automatic system to translate biomedical terms. It mainly relies on a machine learning approach able to infer rewriting rules from...