4722 search results - page 754 / 945 » Encoding Program Executions |
135
Voted
CAISE
1999
Springer
15 years 7 months ago
1999
Springer
The support of process enactment through the use of workflow management systems has gained considerable attention within the last few years. We develop a classification framework c...
134
Voted
KDD
2007
ACM
16 years 3 months ago
2007
ACM
XML has become a popular method of data representation both on the web and in databases in recent years. One of the reasons for the popularity of XML has been its ability to encod...
229
Voted
POPL
2005
ACM
16 years 3 months ago
2005
ACM
Several formal languages have been proposed to encode privacy policies, ranging from the Platform for Privacy Preferences (P3P), intended for communicating privacy policies to con...
125
Voted
ICCAD
2002
IEEE
15 years 11 months ago
2002
IEEE
— One of the bottlenecks in the recent movement of hardware synthesis from behavioral C programs is the difficulty in reasoning about runtime pointer values at compile time. The...
111
Voted
DATE
2008
IEEE
15 years 9 months ago
2008
IEEE
Embedded systems are often operating under hard real-time constraints. Such systems are naturally described as time-bound reactions to external events, a point of view made manife...