Morag Greig is Advocacy Manager of Glasgow University's institutional repository, Enlighten. She has been involved with repositories since 2003 as one of the managers of the JISC funded DAEDALUS project (2002-2005). Morag is also a subject librarian responsible for physical sciences and music. William J. Nixon has been involved with institutional repositories since the launch of an ePrints pilo...

The true essence of service-oriented computing is the realization of software development based on services that are composed to service-oriented architectures (SOA). In recent years, the number of available software services steadily increased, favored by the rise of cloud computing with its attached delivery models like Software-as-a-Service (SaaS). To fully leverage the opportunities provide...

Service-oriented architectures (SOA) and web service technologies have been proposed to respond to some central interoperability challenges of heterogeneous health information systems (HIS). We propose a model, which we are using to define services and solutions for healthcare applications from the requirements in the healthcare processes. Focusing on the transition from the process level of th...

A system model characterized by networks of service stations is used to study trhoughput and response time as a function of system load, and to characterize the effects of saturation in a system. The results are expressed in terms of only three sets of parameters: the matrix of interstation transition frequencies, the light load service rate of each station, and the service capacity of each sta...

Ryan Kelty, Meredith Kleykamp, and David Segal examine the effect of military service on the transition to adulthood. They highlight changes since World War II in the role of the military in the lives of young adults, focusing especially on how the move from a conscription to an all-volunteer military has changed the way military service affects youths' approach to adult responsibilities. The a...

Workflow-based service composition languages foster the rapid design and development of distributed applications. The behavioral verification of service Compositions has widely been addressed at design time, using modelchecking. Testing is a complementary technique when it comes to check the behavioral conformance of a service implementation with respect to its specification or to a user or a s...

Face au défi alimentaire et aux instabilités climatiques, l’agriculture du Bénin doit accroître ses performances économiques, sociales environnementales, en particulier par le développement de l’agroécologie. Le numérique est souvent cité comme un levier majeur la transition agroécologique, mais les innovations numériques agriculture restent peu visibles. En mobilisant adaptant méthodologie tra...