5525 search results - page 375 / 1105 » Verification of Model Transformations |
205
click to vote
MATES
2004
Springer
16 years 7 days ago
2004
Springer
Most of the Agent-Oriented software engineering methodologies that have been developed in the last years tend to propose a model-based approach to software development. To be put i...
188
click to vote
FC
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Starting from algebraic properties that enable guessing lowentropy secrets, we formalize guessing rules for symbolic verification. The rules are suited for both off-line ...
197
click to vote
STTT
2008
15 years 6 months ago
2008
Protos is a popular tool for business process modelling used in more than 1500 organizations. It has a built-in Petri-net-based simulation engine which shows key performance indica...
142
click to vote
WSCG
2004
15 years 8 months ago
2004
Interactive rendering of trimmed NURBS models is of great importance for CAD systems. For this the model needs to be transformed into a polygonal representation. This transformati...
157
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper explores the correlation of instruction counts and cache misses to runtime performance for a large family of divide and conquer algorithms to compute the Walsh–Hadama...