1407 search results - page 64 / 282 » Using Use Cases in Executable Z |
108
Voted
CSMR
2005
IEEE
15 years 8 months ago
2005
IEEE
Software developers are constantly required to modify and adapt application features in response to changing requirements. The problem is that just by reading the source code, it ...
109
click to vote
CRYPTO
2001
Springer
15 years 7 months ago
2001
Springer
We present session-key generation protocols in a model where the legitimate parties share only a human-memorizable password. The security guarantee holds with respect to probabilis...
118
click to vote
APN
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. The research domain of process discovery aims at constructocess model (e.g. a Petri net) which is an abstract representation of an execution log. Such a Petri net should ...
118
Voted
INFSOF
2000
15 years 2 months ago
2000
Cleanroom usage-based statistical testing techniques have been incorporated into the software development process for a program in the Electronic Systems business of Raytheon Comp...
115
Voted
PDP
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract—Among the numerous DAG scheduling heuristics suitable for heterogeneous systems, the Heterogeneous Earliest Finish Time (HEFT) heuristic is known to give good results in...