230 search results - page 29 / 46 » A Formally Founded Description Technique for Business Proces... |
ACMDIS
2008
ACM
13 years 9 months ago
2008
ACM
Participatory Design is a design approach that provides a popular set of techniques for designing interactive systems in collaboration with end-users. Technology probes are one of...
HPDC
2008
IEEE
13 years 7 months ago
2008
IEEE
Service Oriented Architecture (SOA) and Grid computing are very hot research topics, nowadays. While Grid computing is aimed at sharing dynamically heterogeneous resources, SOAs i...
IRI
2008
IEEE
14 years 1 months ago
2008
IEEE
—Supply chain [2], [6] is an important component of business operations. Understanding its stochastic behaviors is the key to risk analysis and performance evaluation in supply c...
MODELS
2007
Springer
14 years 1 months ago
2007
Springer
Modeling systems based on semi-formal graphical formalisms, such as Statecharts, have become standard practice in the design of reactive embedded devices. Statecharts are often mor...
IFM
2010
Springer
13 years 6 months ago
2010
Springer
Event-B has emerged as one of the dominant state-based formal techniques used for modelling control-intensive applications. Due to the blocking semantics of events, their ordering ...