6581 search results - page 130 / 1317 » Formalizing Design Patterns |
137
click to vote
BPM
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Web services composition is an emerging paradigm for enabling application integration within and across organizational boundaries. Current Web services composition propos...
DSD
2002
IEEE
15 years 8 months ago
2002
IEEE
We use a formal tool to extract Finite State Machines (FSM) based representations (lists of states and transitions) of sequential circuits described by flip-flops and gates. The...
136
click to vote
MC
2008
15 years 4 months ago
2008
The context of this work is usability engineering for multimodal interaction. In contrast to other work centrates on prototyping toolkits or abstract guidelines, this research foc...
118
click to vote
ECSA
2010
Springer
15 years 1 months ago
2010
Springer
Abstract Architectural patterns are often combined with other, relevant architectural patterns during software architecture design. However, combining patterns effectively remains ...
123
click to vote
ENTCS
2007
15 years 3 months ago
2007
The engineering of systems that are acceptably correct is a hard problem. On the one hand, semi-formal modelling approaches that are used in practical, large-scale system developm...