4722 search results - page 274 / 945 » Encoding Program Executions |
167
click to vote
HOPL
2007
15 years 10 months ago
2007
This paper is a highly personal and subjective account of how the language of statecharts came into being. The main novelty of the language is in being a fully executable visual f...
159
click to vote
EDOC
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper discusses a novel implementation of a workflow engine that supports service-based applications. The applications are defined according to the GAT model, which is an eve...
145
click to vote
SIGMETRICS
1995
ACM
15 years 10 months ago
1995
ACM
Talisman is a simulator that models the execution semantics and timing of a multicomputer. Talisman is unique in combining high semantic accuracy, high timing accuracy, portabilit...
175
click to vote
ACTAC
2002
15 years 6 months ago
2002
Different program slicing methods are used for debugging, testing, reverse engineering and maintenance. Slicing algorithms can be classified as a static slicing or dynamic slicing...
194
click to vote
ETS
2002
IEEE
15 years 6 months ago
2002
IEEE
For almost a century, the Harvard Business School has used case studies as the basis for experiential learning in both MBA and Executive Education courses. This article presents a...