400 search results - page 27 / 80 » Moving Proofs-As-Programs into Practice |
BPM
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Business process (BP) modeling is a building block for design and management of business processes. Two fundamental aspects of BP modeling are: a formal framework that we...
WACC
1999
ACM
13 years 12 months ago
1999
ACM
The interoperability of systems to support cooperative work requires moving beyond purely technical issues; it also concerns the means and practices that users adopt to articulate...
CHI
2010
ACM
13 years 6 months ago
2010
ACM
With healthcare moving towards electronic health records, it is important to understand existing work practices to design effective systems. We conducted an observational study in...
IWC
2010
13 years 6 months ago
2010
This paper represents a personal view of the state of HCI as a design discipline and as a scientific discipline, and how this is changing in the face...
GLOBECOM
2009
IEEE
13 years 5 months ago
2009
IEEE
Statistical traffic classification techniques are often developed under the assumption that monitoring devices can observe the two half-flows composing each traffic session. Howeve...