6740 search results - page 261 / 1348 » Using Classification as a Programming Language |
122
click to vote
CD
2005
Springer
15 years 8 months ago
2005
Springer
The deployment of component-based software applications usually relies on a centralized repository where the components are stored. This paper describes a peer-to-peer approach for...
114
click to vote
UM
2001
Springer
15 years 6 months ago
2001
Springer
My research investigates into using Markov chains to make link prediction and the transition matrix derived from Markov chains to acquire structural knowledge about Web sites. The ...
112
click to vote
ESOP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This paper contributes a technique that expands the set of object invariants that one can reason about in modular verification. The technique uses history invariants, tw...
125
click to vote
ECOOP
2000
Springer
15 years 6 months ago
2000
Springer
The integration of the telephone network and the internet enables convergence of voice and data services. The explosion of information appliances also provides new service opportun...
160
click to vote
MODELS
2010
Springer
15 years 26 days ago
2010
Springer
This paper describes a novel approach to embedded software development. Instead of using a combination of C code and modeling tools, we propose an approach where modeling and progr...