Sciweavers

2245 search results - page 384 / 449
» A Case Study Implementing Features Using AspectJ
Sort
View
157
Voted
IANDC
2007
152views more  IANDC 2007»
15 years 2 months ago
The reactive simulatability (RSIM) framework for asynchronous systems
We define reactive simulatability for general asynchronous systems. Roughly, simulatability means that a real system implements an ideal system (specification) in a way that pre...
Michael Backes, Birgit Pfitzmann, Michael Waidner
109
Voted
ICSM
2007
IEEE
15 years 9 months ago
Evaluation of Semantic Interference Detection in Parallel Changes: an Exploratory Experiment
Parallel developments are becoming increasingly prevalent in the building and evolution of large-scale software systems. Our previous studies of a large industrial project showed ...
Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry
CDC
2009
IEEE
151views Control Systems» more  CDC 2009»
15 years 7 months ago
A poset framework to model decentralized control problems
— In this paper we use partially ordered sets (posets) to study decentralized control problems arising in different settings. We show that time delayed systems with certain dela...
Parikshit Shah, Pablo A. Parrilo
143
Voted
AIMS
2008
Springer
15 years 4 months ago
Entwined Influences of Users' Behaviour and QoS: A Multi-model Approach
In distributed, dynamic networks and applications, such as Peer-to-Peer (P2P), users'behaviour and quality of service/quality of experiment1 are known to influence each other....
Julien Siebert, Vincent Chevrier, Laurent Ciarlett...
127
Voted
BMCBI
2008
189views more  BMCBI 2008»
15 years 2 months ago
AnEnPi: identification and annotation of analogous enzymes
Background: Enzymes are responsible for the catalysis of the biochemical reactions in metabolic pathways. Analogous enzymes are able to catalyze the same reactions, but they prese...
Thomas D. Otto, Ana Carolina R. Guimarães, ...