897 search results - page 22 / 180 » promise 2010 |
102
click to vote
ENTCS
2006
14 years 9 months ago
2006
We describe novel computational techniques for constructing induction rules for deductive synthesis proofs. Deductive synthesis holds out the promise of automated construction of ...
DSS
2007
14 years 9 months ago
2007
The Web Service paradigm is currently considered as the most promising and rapidly evolving technology for developing applications in open, distributed and heterogeneous environme...
ENTCS
2002
14 years 9 months ago
2002
When different mathematical models are used for software analysis and development it is important to understand their relationships. When the models are truly mathematical, and wh...
111
click to vote
NDT
2010
14 years 8 months ago
2010
Web directory hierarchy is critical to serve user’s search request. Creating and maintaining such directories without human experts involvement requires good classification of we...
160
click to vote
SOFTCOMP
2010
14 years 8 months ago
2010
Abstract This paper presents an extension of MOVICAB-IDS, a Hybrid Intelligent Intrusion Detection System characterized by incorporating temporal control to enable real-time proces...