321 search results - page 25 / 65 » Relating complexity and precision in control flow analysis |
VEE
2012
ACM
12 years 3 months ago
2012
ACM
Applications written in dynamically typed scripting languages are increasingly popular for Web software development. Even on the server side, programmers are using dynamically typ...
WADS
2001
Springer
13 years 12 months ago
2001
Springer
Abstract. Many real-time embedded systems involve a collection of independently executing event-driven code blocks, having hard real-time constraints. Portions of such codes when t...
ICARCV
2006
IEEE
14 years 1 months ago
2006
IEEE
—This paper introduces an integrated modeling and analysis formalism based on colored Petri nets (CPNs) for supply chain configuration and evaluation. The structural changes of d...
COOPIS
2002
IEEE
14 years 15 days ago
2002
IEEE
Current e-service technology paradigms require the analysis and conceptual modeling of cooperative inter-organizational workflows. Cooperation among different organizations is base...
DFG
2004
Springer
14 years 28 days ago
2004
Springer
Abstract. Today's manufacturing industry demands flexible and decentralized production control systems to avoid hours of down time of the production line in case of a failure ...