896 search results - page 19 / 180 » Stepwise Refinement of Processes |
ECEASST
2007
13 years 8 months ago
2007
In this age of complex business landscapes, many enterprises turn to SOA for aligning their IT portfolio with their business. Because of the enormous business risk involved with r...
HICSS
2007
IEEE
14 years 2 months ago
2007
IEEE
While exploring value webs -cooperating enterprises- it is common to view such webs from multiple perspectives: (1) the business value perspective, (2) the business process perspe...
JCP
2008
13 years 8 months ago
2008
In sensor networks, continuous query is commonly used for collecting periodical data from the objects under monitoring. This sort of queries needs to be carefully designed, in orde...
RE
2004
Springer
14 years 1 months ago
2004
Springer
In this work, we propose a framework for quantifying non-functional requirements (NFRs). This framework uses quality characteristics of the execution domain, application domain an...
ENTCS
2006
13 years 8 months ago
2006
Weak bisimilarity is one of the most studied behavioural equivalences. This equivalence is undecidable for pushdown processes (PDA), process algebras (PA), and multiset automata (...