Sciweavers

53390 search results - page 462 / 10678
» Computer Systems Analysis
Sort
View
ISSTA
2006
ACM
16 years 25 days ago
The case for analysis preserving language transformation
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...
Xiaolan Zhang, Larry Koved, Marco Pistoia, Sam Web...
WMCSA
2008
IEEE
16 years 1 months ago
Urban sensing systems: opportunistic or participatory?
The development of sensing systems for urban deployments is still in its infancy. An interesting unresolved issue is the precise role assumed by people within such systems. This i...
Nicholas D. Lane, Shane B. Eisenman, Mirco Musoles...
IJCAI
2007
15 years 8 months ago
Scalable Diagnosability Checking of Event-Driven Systems
Diagnosability of systems is an essential property that determines how accurate any diagnostic reasoning can be on a system given any sequence of observations. Generally, in the l...
Anika Schumann, Yannick Pencolé
WSC
2001
15 years 8 months ago
Hybrid agent-based simulation for analyzing the national airspace system
Hybrid agent-based simulation is required to provide a mechanism for analyzing large-scale complex systems, such as the National Airspace System (NAS). The dynamic behavior of man...
Seungman Lee, Amy R. Pritchett, David Goldsman
GPC
2008
Springer
15 years 8 months ago
An Automatic and Scalable Testing Tool for Workflow Systems
Nowadays workflow systems are widely deployed around the world, especially within large international corporations. Thus the performance evaluation of these workflow systems becom...
Lin Quan, Xiaozhu Lin, Jianmin Wang
« Prev « First page 462 / 10678 Last » Next »