159 search results - page 13 / 32 » Reflections on the Simulation of Complex Systems for Science |
ICTCS
2003
Springer
14 years 23 days ago
2003
Springer
Abstract. Given two proofs in a logical system with a confluent cutelimination procedure, the cut-elimination problem (CEP) is to decide whether these proofs reduce to the same no...
WSC
1997
13 years 9 months ago
1997
The World Wide Web (WWW) has experienced a dramatic increase in popularity since 1993. Many reports indicate that its growth will continue at an exponential rate. This growth has ...
HICSS
2008
IEEE
14 years 2 months ago
2008
IEEE
This project uses empirical data to provide insights into the impact of open standards. This work moves beyond the existing literature by considering a large number of open standa...
HICSS
2003
IEEE
14 years 26 days ago
2003
IEEE
Supply chain management is a demanding and complicated task due to its broad scope and the strong connectedness of its objects and issues. In order to make theoretical investigati...
ICSE
2003
IEEE-ACM
14 years 7 months ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...