780 search results - page 87 / 156 » Combining a Formal with an Example-driven Approach for Data ... |
PLDI
2011
ACM
12 years 11 months ago
2011
ACM
Program analysis and verification tools crucially depend on the ability to symbolically describe and reason about sets of program behaviors. Separation logic provides a promising...
MEMICS
2010
13 years 3 months ago
2010
Abstract. Increasing integration densities and the emergence of nanotechnology cause issues related to reliability and power consumption to become dominant factors for the design o...
WSC
1998
13 years 10 months ago
1998
Simulation modeling provides an effective and powerful approach for capturing and analyzing complex manufacturing systems. More and more decisions are based on computer generated ...
BPM
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. In requirements engineering we have to discover the user requirements and then we have to transform them into precise system specifications. There are two essential aspec...
BPM
2008
Springer
13 years 10 months ago
2008
Springer
The need to involve business users in process modeling is largely perceived in the context of Business Process Management systems. This can facilitate the elaboration of consistent...