6978 search results - page 1337 / 1396 » Reframing Requirements Analysis |
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
It is self-evident that in numerous Multiagent settings, selfish agents stand to benefit from cooperating by forming coalitions. Nevertheless, negotiating a stable distribution of...
AXMEDIS
2006
IEEE
15 years 1 months ago
2006
IEEE
Traditional media, such as text, image, audio and video, have long been the main media resources and granted full support of standard desktop tools and applications. Interactive r...
115
click to vote
CANS
2006
Springer
15 years 1 months ago
2006
Springer
Software watermarking is a new research area that aims at providing copyright protection for commercial software. It minimizes software piracy by hiding copyright signatures inside...
CAV
2006
Springer
15 years 1 months ago
2006
Springer
Example Guided Abstraction Refinement (CEGAR) [6] framework. A number of wellengineered software model-checkers are available, e.g., SLAM [1] and BLAST [12]. Why build another one?...
DSN
2004
IEEE
15 years 1 months ago
2004
IEEE
Firewalls are the mainstay of enterprise security and the most widely adopted technology for protecting private networks. An error in a firewall policy either creates security hole...