2364 search results - page 305 / 473 » An Engine for Computing Well-Founded Models |
155
click to vote
ICMT
2010
Springer
15 years 11 months ago
2010
Springer
Graph transformation (GT) is being increasingly used in Model Driven Engineering (MDE) to describe in-place transformations like animations and refactorings. For its practical use,...
167
click to vote
COORDINATION
2000
Springer
15 years 10 months ago
2000
Springer
Internet-based multi-agent systems call for new metaphors, abstractions, methodologies and enabling technologies specifically tailored to agent-oriented engineering. While coordin...
171
click to vote
CHI
1999
ACM
15 years 10 months ago
1999
ACM
Recent debate has centered on the relative promise of focusing user-interface research on developing new metaphors and tools that enhance users’ abilities to directly manipulate...
196
click to vote
ICAC
2009
IEEE
15 years 10 months ago
2009
IEEE
In large-scale, distributed software systems, an important management undertaking concerns the creation and runtime modification of application instances. This short paper propose...
176
click to vote
COORDINATION
2006
Springer
15 years 10 months ago
2006
Springer
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...