648 search results - page 62 / 130 » A Proposal for ASM Diagrams |
ECIS
2004
13 years 10 months ago
2004
The case study method supported by interviews is used widely by IS researchers. In `messy' problems, such as the adoption of e-procurement across manufacturing supply chains,...
JETAI
2002
13 years 8 months ago
2002
Several algorithms that generate the set of all formal concepts and diagram graphs of concept lattices are considered. Some modifications of wellknown algorithms are proposed. Algo...
HAPTICS
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract. This paper proposes a nonlinear controller to extend the Zwidth of a haptic device. A time-domain passivity analysis of the Z-width diagram leads to the new haptic contro...
CAISE
2000
Springer
14 years 1 months ago
2000
Springer
This paper presents an approach and a tool to increase specification quality by using a combination of UML and formal languages. Our approach is based on the expression of the UML ...
POPL
2012
ACM
12 years 4 months ago
2012
ACM
Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several app...