489 search results - page 49 / 98 » Reasoning about confidentiality at requirements engineering ... |
130
Voted
SIGMETRICS
2010
ACM
14 years 11 months ago
2010
ACM
Many network-management problems in large backbone networks need the answer to a seemingly simple question: where does a given IP packet, entering the network at a particular plac...
80
Voted
RE
1995
Springer
15 years 4 months ago
1995
Springer
In an evolving specification, considerable development time and effort is spent handling recurrent inconsistencies. Tools and techniques for detecting and resolving inconsistencie...
113
Voted
ADAEUROPE
2003
Springer
15 years 5 months ago
2003
Springer
ontainer. In particular, an iterator abstracts away differences in specific container types, allowing you to view the collection simply as a sequence of items. A generic algorith...
SIGSOFT
2005
ACM
16 years 1 months ago
2005
ACM
Using the application programming interfaces (API) of large software systems requires developers to understand details about the interfaces that are often not explicitly defined. ...
KR
2004
Springer
15 years 5 months ago
2004
Springer
We describe a technique for speeding up inference for model-based abduction tasks that trades off inference time and/or space for the fraction of queries correctly answered. We co...