Sciweavers

502 search results - page 59 / 101
» Analyzing Interacting BPEL Processes
Sort
View
WWW
2009
ACM
14 years 9 months ago
Web service derivatives
Web service development and usage has shifted from simple information processing services to high-value business services that are crucial to productivity and success. In order to...
Thomas Meinl, Benjamin Blau
IV
2006
IEEE
149views Visualization» more  IV 2006»
14 years 2 months ago
Challenges in Visual Data Analysis
In today’s applications data is produced at unprecedented rates. While the capacity to collect and store new data rapidly grows, the ability to analyze these data volumes increa...
Daniel A. Keim, Florian Mansmann, Jörn Schnei...
EJIS
2006
79views more  EJIS 2006»
13 years 8 months ago
A genealogical study of boundary-spanning IS design
This paper presents the design of a business-aligned information system (IS) from an actor-network perspective, viewing non-human intermediaries jointly as inscriptions and bounda...
Susan Gasson
IJCSA
2006
95views more  IJCSA 2006»
13 years 8 months ago
Modeling and Formal Verification of DHCP Using SPIN
The Dynamic Host Configuration Protocol (DHCP) is a widely used communication protocol. In this paper, a portion of the protocol is chosen for modeling and verification, namely th...
Syed M. S. Islam, Mohammed H. Sqalli, Sohel Khan
JAISE
2010
163views Algorithms» more  JAISE 2010»
13 years 3 months ago
Affective negotiation support systems
Negotiation is a process in which two or more parties aim to reach a joint agreement. As such negotiation involves rational decision making about options and issues. However, negot...
Joost Broekens, Catholijn M. Jonker, John-Jules Ch...