1760 search results - page 120 / 352 » Program Analysis Using Weighted Pushdown Systems |
105
click to vote
MSS
1999
IEEE
15 years 4 months ago
1999
IEEE
Recently TRW fielded a prototype system for a government customer. It provides a wide range of capabilities including data collection, hierarchical storage, automated distribution...
122
click to vote
LCPC
1999
Springer
15 years 4 months ago
1999
Springer
Since the C language imposes little restriction on the use of function pointers, the task of call graph construction for a C program is far more di cult than what the algorithms d...
109
Voted
NOMS
2000
IEEE
15 years 5 months ago
2000
IEEE
Management of large-scale Network-Centric Systems (NCS) and their applications is an extremely complex and challenging task due to factors such as centralized management architect...
EOR
2008
15 years 21 days ago
2008
In this work, we address investment decisions in production systems by using real options. As is standard in literature, the stochastic variable is assumed to be normally distribu...
139
Voted
SIGMOD
2012
ACM
13 years 3 months ago
2012
ACM
It is often highly valuable for organizations to have their data analyzed by external agents. However, any program that computes on potentially sensitive data risks leaking inform...