1432 search results - page 39 / 287 » Executable Protocol Models as a Requirements Engineering Too... |
143
Voted
CSFW
2007
IEEE
15 years 9 months ago
2007
IEEE
Most model checking techniques for security protocols make a number of simplifying assumptions on the protocol and/or on its execution environment that prevent their applicability...
141
click to vote
WOSP
2000
ACM
15 years 7 months ago
2000
ACM
Active Network technology envisions deployment of virtual execution environments within network elements, such as switches and routers. As a result, nonhomogeneous processing can ...
103
click to vote
COMPSAC
2009
IEEE
15 years 10 months ago
2009
IEEE
In software engineering projects, there are two different types of modeling tools. On the one hand, there are tools to model the system under construction, i.e. tools for requirem...
136
click to vote
SAC
2004
ACM
15 years 8 months ago
2004
ACM
Web applications have become complex and crucial for many firms, especially when combined with areas such as CRM (Customer Relationship Management) and BPR (Business Process Reen...
134
click to vote
AOSE
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Nowadays, information systems have to perform in complex, heterogeneous environments, considering a variety of system users with different needs and preferences. Software...