7209 search results - page 240 / 1442 » Software Engineering for Multi-Agent Systems |
ICSE
2010
IEEE-ACM
14 years 23 days ago
2010
IEEE-ACM
In my dissertation, I aim to develop a dependence-based impact analysis technique for event-based systems and eventbased components that communicate via messages. This paper motiv...
AVI
2004
14 years 5 days ago
2004
We present a group recommender system for vacations that helps group members who are not able to communicate synchronously to specify their preferences collaboratively and to arri...
ICSE
2009
IEEE-ACM
13 years 8 months ago
2009
IEEE-ACM
This paper presents experiments realized by Airbus on model checking a safety critical system, lessons learnt and ways forward to extend the industrial use of formal verification ...
IUI
2009
ACM
14 years 7 months ago
2009
ACM
This document introduces a web based demo of an interactive framework for transcription of handwritten text, where the user feedback is provided by means of pen strokes on a touch...
FSTTCS
2000
Springer
14 years 2 months ago
2000
Springer
: A pushdown system is a graph G(P) of configurations of a pushdown automaton P. The model checking problem for a logic L is: given a pushdown automaton P and a formula L decide ...