University of Vermont

Displaying 1-6 of 6 results

  • White Papers // Dec 2012

    The Dynamic Controllability of Conditional STNs with Uncertainty

    Recent attempts to automate business processes and medical-treatment processes have uncovered the need for a formal framework that can accommodate not only temporal constraints, but also observations and actions with uncontrollable durations. To meet this need, this paper defines a Conditional Simple Temporal Network with Uncertainty (CSTNU) that combines the...

    Provided By University of Vermont

  • White Papers // Jan 2012

    Adoption of Electronic Commerce by Small Businesses

    The role played by small business in economic growth and development in the world is officially recognized, in both the economic literature and in official documents (e.g., Organization for Economic Cooperation and Development, European Commission, U.S. Department of State). Information and communication technology connectivity are widespread in all sized businesses,...

    Provided By University of Vermont

  • White Papers // Oct 2011

    Towards Structured Business Process Modeling Languages

    A Process-Aware Information System (PAIS) is a software system driven by explicit Business Process (BP) models. A basic PAIS provides at least an execution engine, a Business Process Modeling Language (BPML) and a graphical editor. The editor is mainly used to design new BP models, maintain existing ones and check...

    Provided By University of Vermont

  • White Papers // Mar 2011

    Automated Error Correction of Business Process Models

    As order dependencies between process tasks can get complex, it is easy to make mistakes in process model design, especially behavioral ones such as deadlocks. Notions such as soundness formalize behavioral errors and tools exist that can identify such errors. However, these tools do not provide assistance with the correction...

    Provided By University of Vermont

  • White Papers // Jul 2010

    SpartanRPC: Secure WSN Middleware for Cooperating Domains

    This paper describes SpartanRPC, a secure middleware technology for Wireless Sensor Network (WSN) applications supporting cooperation between distinct protection domains. The SpartanRPC system extends the nesC programming language to provide a link-layer Remote Procedure Call (RPC) mechanism, along with an extension of nesC configuration wirings that allow specification of remote,...

    Provided By University of Vermont

  • White Papers // Jul 2009

    Type-Specialized Staged Programming With Process Separation

    Staging is a powerful language construct that allows a program at one stage to manipulate and specialize a program at the next. The authors propose hMLi as a new staged calculus designed with novel features for staged programming in modern computing platforms such as embedded systems. A distinguishing feature of...

    Provided By University of Vermont

  • White Papers // Jul 2009

    Type-Specialized Staged Programming With Process Separation

    Staging is a powerful language construct that allows a program at one stage to manipulate and specialize a program at the next. The authors propose hMLi as a new staged calculus designed with novel features for staged programming in modern computing platforms such as embedded systems. A distinguishing feature of...

    Provided By University of Vermont

  • White Papers // Jul 2010

    SpartanRPC: Secure WSN Middleware for Cooperating Domains

    This paper describes SpartanRPC, a secure middleware technology for Wireless Sensor Network (WSN) applications supporting cooperation between distinct protection domains. The SpartanRPC system extends the nesC programming language to provide a link-layer Remote Procedure Call (RPC) mechanism, along with an extension of nesC configuration wirings that allow specification of remote,...

    Provided By University of Vermont

  • White Papers // Dec 2012

    The Dynamic Controllability of Conditional STNs with Uncertainty

    Recent attempts to automate business processes and medical-treatment processes have uncovered the need for a formal framework that can accommodate not only temporal constraints, but also observations and actions with uncontrollable durations. To meet this need, this paper defines a Conditional Simple Temporal Network with Uncertainty (CSTNU) that combines the...

    Provided By University of Vermont

  • White Papers // Mar 2011

    Automated Error Correction of Business Process Models

    As order dependencies between process tasks can get complex, it is easy to make mistakes in process model design, especially behavioral ones such as deadlocks. Notions such as soundness formalize behavioral errors and tools exist that can identify such errors. However, these tools do not provide assistance with the correction...

    Provided By University of Vermont

  • White Papers // Oct 2011

    Towards Structured Business Process Modeling Languages

    A Process-Aware Information System (PAIS) is a software system driven by explicit Business Process (BP) models. A basic PAIS provides at least an execution engine, a Business Process Modeling Language (BPML) and a graphical editor. The editor is mainly used to design new BP models, maintain existing ones and check...

    Provided By University of Vermont

  • White Papers // Jan 2012

    Adoption of Electronic Commerce by Small Businesses

    The role played by small business in economic growth and development in the world is officially recognized, in both the economic literature and in official documents (e.g., Organization for Economic Cooperation and Development, European Commission, U.S. Department of State). Information and communication technology connectivity are widespread in all sized businesses,...

    Provided By University of Vermont