Sciweavers

2050 search results - page 62 / 410
» A formal foundation for process modeling
Sort
View
WISE
2009
Springer
16 years 3 months ago
Formal Identification of Right-Grained Services for Service-Oriented Modeling
Identifying the right-grained services is important to lead the successful service orientation because it has a direct impact on two major goals: the composability of loosely-coupl...
Yukyong Kim, Kyung-Goo Doh
ICCAD
2006
IEEE
108views Hardware» more  ICCAD 2006»
16 years 3 months ago
Formal model of data reuse analysis for hierarchical memory organizations
– In real-time data-dominated communication and multimedia processing applications, due to the manipulation of large sets of data, a multi-layer memory hierarchy is used to enhan...
Ilie I. Luican, Hongwei Zhu, Florin Balasa
ADAEUROPE
2001
Springer
15 years 10 months ago
Building Formal Requirements Models for Reliable Software
Requirements engineering (RE) is concerned with the elicitation of the goals to be achieved by the system envisioned, the operationalization of such goals into specifications of se...
Axel van Lamsweerde
CAISE
2004
Springer
15 years 11 months ago
A Better Fit - Characterising the Stakeholders
The foundations of support for any business process lie in understanding the needs of people, the stakeholders in business processes and support systems. Stakeholder analysis has b...
Ian F. Alexander
VIROLOGY
2008
84views more  VIROLOGY 2008»
15 years 6 months ago
Formal affordance-based models of computer virus reproduction
We present a novel classification of computer viruses using a formalised notion of reproductive models based on Gibson's theory of affordances. A computer virus reproduction ...
Matt Webster, Grant Malcolm