Sciweavers

2519 search results - page 391 / 504
» Reasoning with Textual Cases
Sort
View
RE
1995
Springer
15 years 8 months ago
Managing inconsistencies in an evolving specification
In an evolving specification, considerable development time and effort is spent handling recurrent inconsistencies. Tools and techniques for detecting and resolving inconsistencie...
Steve M. Easterbrook, Bashar Nuseibeh
132
Voted
VISUALIZATION
1995
IEEE
15 years 8 months ago
Enhancing Transparent Skin Surfaces with Ridge and Valley Lines
There are many applications that can benefit from the simultaneous display of multiple layers of data. The objective in these cases is to render the layered surfaces in a such way...
Victoria Interrante, Henry Fuchs, Stephen M. Pizer
ASIACRYPT
2009
Springer
15 years 8 months ago
Hedged Public-Key Encryption: How to Protect against Bad Randomness
Abstract. Public-key encryption schemes rely for their IND-CPA security on per-message fresh randomness. In practice, randomness may be of poor quality for a variety of reasons, le...
Mihir Bellare, Zvika Brakerski, Moni Naor, Thomas ...
EDOC
2009
IEEE
15 years 7 months ago
A Goal-Oriented Requirements Modelling Language for Enterprise Architecture
Methods for enterprise architecture, such as TOGAF, acknowledge the importance of requirements engineering in the development of enterprise architectures. Modelling support is nee...
Dick A. C. Quartel, Wilco Engelsman, Henk Jonkers,...
AAAI
2008
15 years 6 months ago
The PELA Architecture: Integrating Planning and Learning to Improve Execution
Building architectures for autonomous rational behavior requires the integration of several AI components, such as planning, learning and execution monitoring. In most cases, the ...
Sergio Jiménez, Fernando Fernández, ...