University of Vermont

Displaying 1-8 of 8 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 // Jun 2009

    Progressive Processing of Continuous Range Queries in Hierarchical Wireless Sensor Networks

    In this paper, the authors study the problem of processing continuous range queries in a hierarchical wireless sensor network. Recently, as the size of sensor networks increases due to the growth of ubiquitous computing environments and wireless networks, building wireless sensor networks in a hierarchical configuration is put forth as...

    Provided By University of Vermont

  • White Papers // May 2009

    Incremental Clustering Crawler for Community-Limited Search

    The authors propose incremental clustering crawler, a novel algorithm for finding communities for community-limited search in the web. A web community is a set of semantically related sites found through link-based clustering. The key idea of the proposed algorithm is to perform clustering incrementally while crawling is in progress. This...

    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 // Jun 2009

    Progressive Processing of Continuous Range Queries in Hierarchical Wireless Sensor Networks

    In this paper, the authors study the problem of processing continuous range queries in a hierarchical wireless sensor network. Recently, as the size of sensor networks increases due to the growth of ubiquitous computing environments and wireless networks, building wireless sensor networks in a hierarchical configuration is put forth as...

    Provided By University of Vermont

  • White Papers // May 2009

    Incremental Clustering Crawler for Community-Limited Search

    The authors propose incremental clustering crawler, a novel algorithm for finding communities for community-limited search in the web. A web community is a set of semantically related sites found through link-based clustering. The key idea of the proposed algorithm is to perform clustering incrementally while crawling is in progress. This...

    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 // 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