367 search results - page 56 / 74 » A Rewriting Logic Sampler |
115
Voted
TOG
2008
15 years 10 days ago
2008
This paper addresses the problem of interactively modeling large street networks. We introduce a modeling framework that uses tensor fields to guide the generation of a street gra...
111
click to vote
TCS
2002
15 years 2 days ago
2002
We show how formal specifications can be integrated into one of the current pragmatic object-oriented software development methods. Jacobson's "Object-Oriented Software ...
98
Voted
ENTCS
2007
15 years 12 days ago
2007
There have been several research works that analyze and optimize programs using temporal logic. However, no evaluation of optimization time or execution time of these implementati...
107
click to vote
ICIW
2009
IEEE
15 years 7 months ago
2009
IEEE
Today’s cross-organizations are increasingly coordinating their capabilities in the quest of dynamically adaptable and thus highly competitive realistic services. Unfortunately,...
103
click to vote
CORR
2010
Springer
15 years 16 days ago
2010
Springer
Abstract. Orc is a theory of orchestration of services that allows structured programming of distributed and timed computations. Several formal semantics have been proposed for Orc...