957 search results - page 149 / 192 » Negotiations and Petri Nets |
119
Voted
WORDS
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper presents a framework for verifying the access control requirements of real-time application systems such as workflow management systems and active databases. The tempor...
113
click to vote
FASE
2005
Springer
15 years 5 months ago
2005
Springer
Model Transformation has become central to most software engineering activities. It refers to the process of modifying a (usually graphical) model for the purpose of analysis (by i...
WEBI
2005
Springer
15 years 5 months ago
2005
Springer
Inter-organizational business processes usually require complex and time-consuming interactions between partners than simple interactions supported by WSDL. Automated reconciliati...
88
Voted
SEKE
2004
Springer
15 years 4 months ago
2004
Springer
Software architecture plays a central role in developing software systems that satisfy functionality and security requirements. However, little has been done to integrate system d...
UML
2004
Springer
15 years 4 months ago
2004
Springer
Several different kinds of performance models can be generated from sets of scenarios that describe typical responses of a system, and their use of resources. The Core Scenario Mod...