2673 search results - page 396 / 535 » Guided Static Analysis |
148
click to vote
TOPNOC
2008
15 years 4 months ago
2008
The key to efficient on-the-fly reachability analysis based on unfolding is to focus the expansion of the finite prefix towards the desired marking. However, current unfolding stra...
124
click to vote
ALGORITHMICA
2002
15 years 4 months ago
2002
The implementation of an algorithm is faced with the issues efficiency, flexibility, and ease-of-use. In this paper, we suggest a design concept that greatly increases the flexibi...
121
click to vote
CE
2004
15 years 4 months ago
2004
The goal of the study described in this paper was to gain an improved understanding of the social context of UK online centres and issues around the creation and exchange of knowl...
118
click to vote
CMOT
2002
15 years 4 months ago
2002
Organizational change management is concerned with realizing strategies using models, methods and prescriptions that seek to guide the three key elements of strategic management p...
147
Voted
ECRA
2007
15 years 4 months ago
2007
Negotiating with suppliers and with customers is a key part of supply chain management. However, with recent technological advances, the mechanisms available to carry out such act...