Sciweavers

538 search results - page 46 / 108
» Distribution concerns in service-oriented modelling
Sort
View
ISORC
2008
IEEE
14 years 3 months ago
A Real-Time Java Component Model
The Real-Time Specification for Java (RTSJ) [10] is becoming a popular choice in the world of real-time programming. However, the complexities introduced by RTSJ bring the needs ...
Ales Plsek, Philippe Merle, Lionel Seinturier
COMPSAC
2007
IEEE
14 years 23 days ago
A Component Model for the AUTOSAR Virtual Function Bus
To reduce cost and time to market of automotive software systems and simultaneously increase the products' quality, the component paradigm has achieved broad acceptance withi...
Dietmar Schreiner, Karl M. Göschka
METAINFORMATICS
2004
Springer
14 years 2 months ago
Supporting Tools for Designing-By-Contract in Component-Based Applications
This paper deals with the modeling and the automatic implementation of constraints in component based applications. Constraints have been assuming an ever more relevant role in mod...
Antonio Coronato, Antonio d'Acierno, Diego D'Ambro...
SAC
2008
ACM
13 years 8 months ago
Adaptive methods for sequential importance sampling with application to state space models
Abstract. In this paper we discuss new adaptive proposal strategies for sequential Monte Carlo algorithms--also known as particle filters--relying on new criteria evaluating the qu...
Julien Cornebise, Eric Moulines, Jimmy Olsson
ATAL
2006
Springer
14 years 18 days ago
Run-time model checking of interaction and deontic models for multi-agent systems
This paper is concerned with the problem of obtaining predictable interactions between groups of agents in open environments when individual agents do not expose their bdi logic. ...
Nardine Osman, David Robertson, Christopher Walton