Sciweavers

340 search results - page 25 / 68
» Validating Business Requirements Using MAS Analysis Models
Sort
View
92
Voted
ITRUST
2004
Springer
15 years 5 months ago
The Use of Formal Methods in the Analysis of Trust (Position Paper)
Security and trust are two properties of modern computing systems that are the focus of much recent interest. They play an increasingly significant role in the requirements for mo...
Michael J. Butler, Michael Leuschel, Stépha...
88
Voted
AICCSA
2006
IEEE
179views Hardware» more  AICCSA 2006»
15 years 6 months ago
Supporting the SPEM with a UML Extended Workflow Metamodel
The specification, analysis, and administration of business processes have charged great importance in this last time. This has been caused by a competitive industry necessity, dy...
Narayan C. Debnath, Daniel Riesco, Manuel Pé...
CCGRID
2006
IEEE
15 years 6 months ago
Component-Based Modeling, Analysis and Animation
Component-based software construction is widely used in a variety of applications, from embedded environments to grid computing. However, errors in these applications and systems ...
Jeff Kramer
82
Voted
ECIS
2004
15 years 1 months ago
A strategy modelling technique for financial services
Strategy planning processes often suffer from a lack of conceptual models that can be used to represent business strategies in a structured and standardized form. If natural langu...
Bernd Heinrich, Robert Winter
95
Voted
ECIS
2004
15 years 1 months ago
Measurement of user-perceived web quality
Web sites are now considered an extension of the entire business, not just an additional channel or storefront or a simple information portal for the company. Creating an effectiv...
Ravi T. Seethamraju