230 search results - page 29 / 46 » A Formally Founded Description Technique for Business Proces... |
116
click to vote
ACMDIS
2008
ACM
15 years 3 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...
137
Voted
HPDC
2008
IEEE
15 years 1 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...
139
click to vote
IRI
2008
IEEE
15 years 8 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...
90
Voted
MODELS
2007
Springer
15 years 7 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...
115
click to vote
IFM
2010
Springer
15 years 1 days 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 ...