3169 search results - page 55 / 634 » A General Framework for Large Scale Systems Development |
146
click to vote
WOSP
1998
ACM
15 years 4 months ago
1998
ACM
The POEMS project is creating an environment for end-to-end performance modeling of complex parallel and distributed systems, spanning the domains of application software, runti...
104
click to vote
TACAS
2000
Springer
15 years 3 months ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...
101
click to vote
MLDM
2009
Springer
15 years 6 months ago
2009
Springer
In a world where massive amounts of data are recorded on a large scale we need data mining technologies to gain knowledge from the data in a reasonable time. The Top Down Induction...
126
click to vote
JCM
2008
14 years 11 months ago
2008
In this paper, we present a new simulation platform for complex, radio standard spanning mobile Ad Hoc networks. SimANet - Simulation Platform for Ambient Networks - allows the coe...
102
click to vote
WWW
2007
ACM
16 years 15 days ago
2007
ACM
This paper is concerned with the problem of browsing social annotations. Today, a lot of services (e.g., Del.icio.us, Filckr) have been provided for helping users to manage and sh...