6757 search results - page 1174 / 1352 » Knowledge Analysis on Process Models |
91
Voted
WCRE
2000
IEEE
15 years 2 months ago
2000
IEEE
One of the most important issue in source code analysis and software re-engineering is the representation of ode text at an abstraction level and form suitable for algorithmic pro...
IPPS
1999
IEEE
15 years 2 months ago
1999
IEEE
One of the major overheads that prohibits the wide spread deployment of parallel discrete event simulation PDES is the need to synchronize the distributed processes in the simulat...
RIDE
1999
IEEE
15 years 2 months ago
1999
IEEE
Workflow systems are an emerging technology which have become increasingly important in the drive for business to provide better services and increase productivity. Intuitively, w...
ICSE
1997
IEEE-ACM
15 years 2 months ago
1997
IEEE-ACM
—Most analysis methods for real-time systems assume that all the components of the system are at roughly the same stage of development and can be expressed in a single notation, ...
103
Voted
CADE
1990
Springer
15 years 2 months ago
1990
Springer
imps is an Interactive Mathematical Proof System intended as a general purpose tool for formulating and applying mathematics in a familiar fashion. The logic of imps is based on a...