3731 search results - page 190 / 747 » Reduct Generation in Information Systems |
308
click to vote
ICDE
2006
IEEE
16 years 8 months ago
2006
IEEE
Speed to market is critical to companies that are driven by sales in a competitive market. The earlier a potential customer can be approached in the decision making process of a p...
209
click to vote
SAC
2010
ACM
15 years 5 months ago
2010
ACM
Verification conditions (VCs) are logical formulae whose validity implies the correctness of a program with respect to a specification. The technique of checking software properti...
189
click to vote
DESRIST
2009
Springer
15 years 11 months ago
2009
Springer
Information Systems Security (ISS) is critical to ensuring the integrity and credibility of digitally exchanged information in business processes. Information systems development ...
223
Voted
CCS
2010
ACM
15 years 3 months ago
2010
ACM
Cryptographic systems and protocols are the core of many Internet security procedures (such as SSL, SSH, IPSEC, DNSSEC, secure mail, etc.). At the heart of all cryptographic funct...
181
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
Rapid developments in digital technologies have brought to force new challenges in innovation. In this paper, we propose a taxonomic framework of innovation networks in order to i...