4609 search results - page 438 / 922 » Automatic Generation of Sigma-Protocols |
168
click to vote
CAIP
2005
Springer
16 years 12 days ago
2005
Springer
Today, communication devices are evolving towards friendly–user interactivity while permanently eyeing towards 3D display technologies. As such, 3D face generation, modelling an...
193
click to vote
ADC
2003
Springer
16 years 2 days ago
2003
Springer
This paper proposes a novel way of automatically developing data warehouse configuration in rule-based CRM systems. Rule-based CRM systems assume that marketing activities are re...
212
click to vote
ECMDAFA
2010
Springer
15 years 11 months ago
2010
Springer
Use cases are commonly used to structure and document requirements while UML activity diagrams are often used to visualize and formalize use cases, for example to support automated...
169
Voted
ICSE
2009
IEEE-ACM
15 years 11 months ago
2009
IEEE-ACM
Structural testing is widely used in industrial verification processes of critical software. This report presents PathCrawler, a structural test generation tool that may be used ...
192
click to vote
KBSE
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes a new approach to visualization of scenarios within the use case-based engineering of functional requirements – the so-called Video Camera metaphor. The Vid...