Sciweavers

3706 search results - page 284 / 742
» OntoComP System Description
Sort
View
RP
2009
Springer
110views Control Systems» more  RP 2009»
16 years 1 months ago
Formalisms for Specifying Markovian Population Models
Abstract. We compare several languages for specifying Markovian population models such as queuing networks and chemical reaction networks. These languages —matrix descriptions, s...
Thomas A. Henzinger, Barbara Jobstmann, Verena Wol...
SEW
2007
IEEE
16 years 24 days ago
A Generative Approach to Building a Framework for Hard Real-Time Applications
The communication and tasking infrastructure of a realtime application makes up a significant portion of any embedded control system. Traditionally, the tasking and communication...
Irfan Hamid, Elie Najm, Jérôme Hugues
SMC
2007
IEEE
129views Control Systems» more  SMC 2007»
16 years 24 days ago
Planning human centered robot activities
— This paper addresses high-level robot planning issues for an interactive cognitive robot that has to act in presence or in collaboration with a human partner. We describe a tas...
Vincent Montreuil, Aurélie Clodic, Maxime R...
MODELS
2007
Springer
16 years 20 days ago
Model and Formalism Driven Development of Collaborative Applications
In this position paper, we explain our approach for collaborative systems development based on a model of cooperative applications and a formalism called ORCHESTRA allowing to exp...
Bertrand T. David, René Chalon
ICSM
2006
IEEE
16 years 17 days ago
Tracking Concerns in Evolving Source Code: An Empirical Study
The association between the description of a concern (e.g., a feature) and the code that implements it is valuable information that can degrade as the code of a system evolves. We...
Martin P. Robillard