4513 search results - page 591 / 903 » Modeling with a Sense of Purpose |
217
click to vote
WWW
2008
ACM
15 years 6 months ago
2008
ACM
This paper proposes a general framework of for a system with a semantic browsing and visualization interface called Knowledge Communication, Collaboration and Creation Browser (KC...
154
click to vote
TC
1998
15 years 6 months ago
1998
—Preventive maintenance of operational software systems, a novel technique for software fault tolerance, is used specifically to counteract the phenomenon of software “aging.â€...
187
Voted
SIAMCOMP
2002
15 years 6 months ago
2002
This paper introduces a simple notion of layering as a tool for analyzing well-behaved runs of a given model of distributed computation. Using layering, a model-independent analysi...
179
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
We consider how underused computing resources within an enterprise may be harnessed to improve utilization and create an elastic computing infrastructure. Most current cloud provi...
189
click to vote
IEE
2010
15 years 5 months ago
2010
A key problem in compositional model checking of software systems is that typical model checkers accept only closed systems (runnable programs) and therefore a component cannot be ...