1432 search results - page 173 / 287 » Executable Protocol Models as a Requirements Engineering Too... |
147
click to vote
SIGSOFT
2009
ACM
16 years 4 months ago
2009
ACM
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...
142
Voted
MMB
2001
Springer
15 years 8 months ago
2001
Springer
Behavior of current communication protocols as well as current and future networked applications is of fundamental importance for technical and commercial success of Mobile Intern...
143
click to vote
USITS
1997
15 years 5 months ago
1997
Emerging applications in electronic commerce often involve very low-cost transactions, which execute in the context of ongoing, extended clientserver relationships. For example, c...
133
Voted
FORTE
2007
15 years 5 months ago
2007
Behavioural protocols are beneficial to Component-Based Software Engineering and Service-Oriented Computing as they foster automatic procedures for discovery, composition, composi...
138
click to vote
PERCOM
2010
ACM
15 years 2 months ago
2010
ACM
—In the environments where heterogeneous devices need to share information, utilize services of each other, and participate as components in various smart applications, it is com...