2599 search results - page 419 / 520 » A Tool for Supporting Feature-Driven Development |
115
Voted
ESORICS
2008
Springer
15 years 5 months ago
2008
Springer
The Maude-NRL Protocol Analyzer (Maude-NPA) is a tool and inference system for reasoning about the security of cryptographic protocols in which the cryptosystems satisfy different ...
139
Voted
CDVE
2007
Springer
15 years 10 months ago
2007
Springer
In order to build complex, large-scale, dependable systems it is necessary to use a development environment with an integrated set of capabilities that supports editing and formal...
110
Voted
AIL
1998
15 years 3 months ago
1998
In the law, it is generally acknowledged that there are intuitive differences between reasoning with rules and reasoning with principles. For instance, a rule seems to lead directl...
141
Voted
NAR
2002
2002
The Protein Information Resource: an integrated public resource of functional annotation of proteins
15 years 3 months ago
The Protein Information Resource (PIR) serves as an integrated public resource of functional annotation of protein data to support genomic/proteomic research and scientific discov...
122
Voted
RAS
2010
15 years 2 months ago
2010
An important competence for a mobile robot system is the ability to localize and perform context interpretation. This is required to perform basic navigation and to facilitate loc...