3844 search results - page 361 / 769 » Modular interpreted systems |
233
Voted
FSTTCS
2010
Springer
15 years 2 months ago
2010
Springer
We study (collapsible) higher-order pushdown systems -- theoretically robust and well-studied models of higher-order programs -- along with their natural subclass called (collapsi...
149
click to vote
OSDI
2004
ACM
16 years 5 months ago
2004
ACM
This paper studies the use of statistical induction techniques as a basis for automated performance diagnosis and performance management. The goal of the work is to develop and ev...
147
click to vote
APSEC
2007
IEEE
15 years 11 months ago
2007
IEEE
Analyzing accidents is a vital exercise in the development of safety-critical software systems to prevent past accidents from reoccurring in the future. Current practices such as ...
122
Voted
HICSS
2006
IEEE
15 years 11 months ago
2006
IEEE
IT value remains a serious concern of management today, especially how it should be measured and how it is created. Although we have made significant progress at the firm and aggre...
148
click to vote
ICMCS
2006
IEEE
15 years 11 months ago
2006
IEEE
While many systems are available for audio-visual people collaboration and data collaboration, systems for collaboration on physical objects are few. In this paper, we present Web...