We propose a small extension of the ERLANG language that allows programmers to specify contracts with type information at the level of individual functions. Such contracts are opt...
Miguel Jimenez, Tobias Lindahl, Konstantinos F. Sa...
—This paper studies economic models of user participation incentive in participatory sensing applications. User participation is the most important element in participatory sensi...
—A primary functionality of wireless sensor networks (WSNs) is transporting the information acquired by the sensors as per the desired application requirements. The diverse appli...
With the general trend towards ubiquitous access to the Internet, more users will prefer to make voice calls through the Internet. VoIP as the application which facilitates voice c...
BPEL is the de facto standard for business process modeling in today's enterprises and is a promising candidate for the integration of business and scientific applications tha...