489 search results - page 79 / 98 » Reasoning about confidentiality at requirements engineering ... |
106
click to vote
ESEC
1999
Springer
15 years 4 months ago
1999
Springer
Building software systems out of pre-fabricated components is a very attractive vision. Distributed Component Platforms (DCP) and their visual development environments bring this v...
128
Voted
TASE
2011
IEEE
14 years 7 months ago
2011
IEEE
—For multiclass flow line models, we identify a class of service times that allow a decomposition of the system into subsets of servers called channels. In each channel, the cus...
102
click to vote
SIGSOFT
2004
ACM
16 years 1 months ago
2004
ACM
In this paper, we describe PSE (Postmortem Symbolic Evaluation), a static analysis algorithm that can be used by programmers to diagnose software failures. The algorithm requires ...
102
Voted
TASE
2008
IEEE
15 years 11 days ago
2008
IEEE
Concurrent engineering has been widely used in managing design projects to speed up the design process by concurrently performing multiple tasks. Since the progress of a design tas...
120
Voted
SIGSOFT
2007
ACM
16 years 1 months ago
2007
ACM
Finding flaws in security protocol implementations is hard. Finding flaws in the implementations of sensor network security protocols is even harder because they are designed to p...