Learn More
In this paper we argue that the modeling activity in the development of software-intensive systems should formalize as much as possible of the environment in which the application being developed operates. We also show that a rich formal model of the environment helps developers clearly state requirements that might typically be considered intrinsically(More)
No previous study has evaluated systematically the relationship between metabolic syndrome (MetS) and prostate-related symptoms and signs in young infertile men. We studied 171 (36.5 ± 8.3-years-old) males of infertile couples. MetS was defined based on the National Cholesterol Education Program Third Adult Treatment Panel. All men underwent hormonal(More)
The increasing relevance of areas such as real-time and embedded systems, pervasive computing, hybrid systems control, and biological and social systems modeling is bringing a growing attention to the temporal aspects of computing, not only in the computer science domain, but also in more traditional fields of engineering. This article surveys various(More)
The design of distributed applications in a CORBA-based environment can be carried out by means of an incremental approach, which starts from the specification and leads to the high-level architectural design. This article discusses a methodology to transform a formal specification written in TRIO into a high-level design document written in an extension of(More)
Network Intrusion Detection Systems (NIDSs) can be composed of a potentially large number of sensors, which monitor the traffic flowing in the network. Deciding <i>where</i> sensors should be placed and <i>what</i> information they need in order to detect the desired attacks can be a demanding task for network administrators, one that should be made as(More)
Real-time systems usually encompass parts that are best described by a continuous-time model, such as physical processes under control, together with other components that are more naturally formalized by a discrete-time model, such as digital computing modules. Describing such systems in a unified framework based on metric temporal logic requires to(More)
PPM1D (Wip1), a type PP2C phosphatase, is expressed at low levels in most normal tissues but is overexpressed in several types of cancers. In cells containing wild-type p53, the levels of PPM1D mRNA and protein increase following exposure to genotoxic stress, but the mechanism of regulation by p53 was unknown. PPM1D also has been identified as a(More)