Sciweavers

8492 search results - page 403 / 1699
» Modelling and Design of Multi-Agent Systems
Sort
View
154
Voted
INTERACT
2003
15 years 8 months ago
Ontological Sketch Modelling (OSM): Concept-based Usability Analysis
: OSM is a novel approach to usability analysis and design that focuses on the quality of fit between the concepts the user is working with and those represented within supporting ...
Ann Blandford, Iain Connell
201
Voted
FM
2008
Springer
184views Formal Methods» more  FM 2008»
15 years 8 months ago
Safe and Reliable Metro Platform Screen Doors Control/Command Systems
In this article we would like to present some recent applications of the B formal method to the development of safety critical system. These SIL3/SIL41 compliant systems have their...
Thierry Lecomte
222
Voted
IFM
2007
Springer
245views Formal Methods» more  IFM 2007»
16 years 1 months ago
Co-simulation of Distributed Embedded Real-Time Control Systems
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
Marcel Verhoef, Peter Visser, Jozef Hooman, Jan F....
192
Voted
SOFSEM
2007
Springer
16 years 29 days ago
Personalized Presentation in Web-Based Information Systems
Abstract. Large information spaces and complex functionality of contemporary systems together with the advent of the Semantic Web are big challenges for the design of simple yet po...
Michal Tvarozek, Michal Barla, Mária Bielik...
ICSE
2010
IEEE-ACM
15 years 5 months ago
Integrating legacy systems with MDE
Integrating several legacy software systems together is commonly performed with multiple applications of the Adapter Design Pattern in oo languages such as Java. The integration i...
Mickael Clavreul, Olivier Barais, Jean-Marc J&eacu...