Determining the time separation of events is a fundamental problem in the analysis, synthesis, andoptimization of concurrent systems. Applications range from logic optimization of asynchronousdigital circuits to evaluation of execution times of programs for real-time systems. We present ane cient algorithm to nd exact (tight) bounds on the separation time of events in an arbitrary p...

According to various sources, Southern Morocco has stood out as an outstanding tourist destination in recent decades, with global appeal. Dakhla City, including Bay, classified by the Convention on Wetlands 2005 a Wetland of International Importance, offers visitors entertainment opportunities at many city sites. Therefore, human activity and social benefits should be considered conjunction nee...

Crowdsourcing relies on people’s contributions to meet productor system-level objectives. Crowdsourcing-based methods have been implemented in various cyber-physical systems and realtime markets. This paper explores a framework for Crowdsourced Energy Systems (CES), where small-scale energy generation or energy trading is crowdsourced from distributed energy resources, electric vehicles, and sh...

Mixed signals? The immunology field got a hint that NO might be a host product in 1985, when Michael Marletta and his graduate student Dennis Stuehr at the Massachusetts Institute of Technology found an ex cess of nitrate in the urine of bacterially infected mice (1). To find its source, the researchers focused on macrophages, immune cells that help defend against infections. Meanwhile, at the ...

Broadband ISDN promises to integrate a wide range of services CCITT standardized ATM as the transfer mode for BISDN ATM network technology can support the quality of service QOS de mands of emerging applications These applications require trans port systems with a high performance and with support of various services This paper presents the requirements for the interface between ATM layer and a...

The ICSE paper Software Processes are Software Too suggests that software processes are themselves a form of software and that there are considerable bene ts that will derive from basing a discipline of software pro cess development on the more traditional discipline of application software development This paper attempts to clarify some misconceptions about this original ICSE suggestion and su...

DESCRIPTION: Synagis® (palivizumab) is a humanized monoclonal antibody (IgG1κ ) produced by recombinant DNA technology, directed to an epitope in the A antigenic site of the F protein of respiratory syncytial virus (RSV). Palivizumab is a composite of human (95%) and murine (5%) antibody sequences. The human heavy chain sequence was derived from the constant domains of human IgG1 and the variab...

I describe a planning methodology for domains with uncertainty in the form of external events that are not completely predictable. The events are represented by enabling conditions and prob­ abilities of occurrence. The planner is goal­ directed and backward chaining, but the subgoals are suggested by analysing the probability of suc­ cess of the partial plan rather than being simply the open c...

The Shape Calculus is a bio-inspired calculus for describing 3Dshapes moving in a space. A shape forms a 3D process when combinedwith a behaviour. Behaviours are specified with a timed CCS-like pro-cess algebra using a notion of channel that models naturally bindingsites on the surface of shapes. Processes can represent molecules orother mobile objects and can be part of net...

Data structures and algorithms include abstract concepts and processes, which people often find difficult to understand. Examples of these are complex data types and pro. cedural encoding of algorithms. Software visualization can significantly help in solving the problem. In this paper we describe the platform independent I\{atrix system which combines algorithm animation with algorithm simulat...