2364 search results - page 305 / 473 » An Engine for Computing Well-Founded Models |
133
Voted
ICMT
2010
Springer
15 years 9 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,...
144
click to vote
COORDINATION
2000
Springer
15 years 9 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...
138
click to vote
CHI
1999
ACM
15 years 9 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...
166
click to vote
ICAC
2009
IEEE
15 years 8 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...
149
click to vote
COORDINATION
2006
Springer
15 years 8 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...