1432 search results - page 215 / 287 » Executable Protocol Models as a Requirements Engineering Too... |
168
click to vote
JOC
2007
15 years 3 months ago
2007
In the security chain the weakest link is definitely the human one: human beings cannot remember long secrets and often resort to rather insecure solutions to keep track of their ...
149
click to vote
IJISMD
2010
15 years 1 months ago
2010
UML is now widely accepted as the standard modeling language for software construction. The Class Diagram is its core view, having well formed semantics and providing the backbone...
142
click to vote
SIGSOFT
2006
ACM
16 years 4 months ago
2006
ACM
We consider the problem if a given program satisfies a specified safety property. Interesting programs have infinite state spaces, with inputs ranging over infinite domains, and f...
140
click to vote
MSWIM
2005
ACM
15 years 9 months ago
2005
ACM
While the canonical behavior of today’s home Internet users involves several residents concurrently executing diverse Internet applications, the most common home configuration ...
120
click to vote
ACSAC
2001
IEEE
15 years 7 months ago
2001
IEEE
The distributed firewall is an important new line of network defense. It provides fine-grained access control to augment the protections afforded by the traditional perimeter fire...