Sciweavers

3731 search results - page 445 / 747
» Reduct Generation in Information Systems
Sort
View
ISCIS
2004
Springer
16 years 25 days ago
Software Testing via Model Checking
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
Fevzi Belli, Baris Güldali
CSMR
2002
IEEE
16 years 13 days ago
Evolution Support by Homogeneously Documenting Patterns, Aspects and Traces
The evolution of complex software systems is promoted by software engineering principles and techniques like separation of concerns, encapsulation, stepwise refinement, and reusab...
Johannes Sametinger, Matthias Riebisch
252
Voted
HASE
2002
IEEE
16 years 13 days ago
An Approach to Specify and Test Component-Based Dependable Software
Components (in-house or pre-fabricated) are increasingly being used to reduce the cost of software development. Given that these components may not have not been developed with de...
Arshad Jhumka, Martin Hiller, Neeraj Suri
CISC
2008
Springer
152views Cryptology» more  CISC 2008»
15 years 9 months ago
Privacy for Private Key in Signatures
One of the important applications of digital signature is anonymous credential or pseudonym system. In these scenarios, it is essential that the identity of the signer is kept secr...
Qianhong Wu, Bo Qin, Yi Mu, Willy Susilo
MM
2010
ACM
189views Multimedia» more  MM 2010»
15 years 7 months ago
Changing characters' point of view in interactive storytelling
Virtual characters are at the epicentre of Interactive Storytelling systems and in recent years multiple AI planning approaches have been described to specify their autonomous beh...
Fred Charles, Julie Porteous, Marc Cavazza