1413 search results - page 8 / 283 » ideas 2007 |
APSEC
2007
IEEE
14 years 9 months ago
2007
IEEE
The problem frames approach to software engineering is primarily—but not exclusively—concerned with computer-based systems. The broad content and nature of the approach are exp...
AIMS
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. This paper presents the idea of a fully decentralized peer-to-peer collaborative network with a robust, scalable and incentive-compatible system enabling storage, retriev...
HCI
2007
14 years 11 months ago
2007
Sketching interface, as a user-friendly means for expression and communication, is not only an important medium for inputting 3D objects, but also a significant step of visualizing...
IJCAI
2003
14 years 10 months ago
2003
Automated verification is one of the most success ful applications of automated reasoning in com puter science. In automated verification one uses algorithmic techniques to es...
EUSFLAT
2001
14 years 10 months ago
2001
This paper proposes a confluence between soft OR and soft computing methods, by means of an application of fuzzy logic ideas to robustness analysis. Both methods try to add flexib...