7892 search results - page 307 / 1579 » Programming with Models |
113
click to vote
SNPD
2008
15 years 3 months ago
2008
In the social reality, objects communicate with each other by means of assuming roles to establish collaboration, and then can adaptively change their roles to obtain other intera...
134
click to vote
LICS
1991
IEEE
15 years 5 months ago
1991
IEEE
When logic programming is based on the proof theory of intuitionistic logic, it is natural to allow implications in goals and in the bodies of clauses. Attempting to prove a goal ...
116
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
A wide variety of models for concurrent programs has been proposed during the past decades, each one focusing on various aspects of computations: trace equivalence, causality betwe...
114
click to vote
AMAI
2008
Springer
15 years 2 months ago
2008
Springer
In a previous paper [BMR01], the authors showed that the mechanism underlying Logic Programming can be extended to handle the situation where the atoms are interpreted as subsets o...
103
click to vote
ICSM
2005
IEEE
15 years 7 months ago
2005
IEEE
In the work presented here, we introduce a method to automatically generate a subset of a UML class model based on a user-defined criterion. The goal of this work is to allow us to...