3765 search results - page 245 / 753 » Formal Methods for Systems Engineering Behavior Models |
172
Voted
FSEN
2009
Springer
15 years 11 months ago
2009
Springer
Although presented with a variety of ‘flavours’, the notion of an interactor, as an abstract characterisation of an interactive component, is well-known in the area of formal ...
191
click to vote
ESEC
1997
Springer
15 years 10 months ago
1997
Springer
The idea of a combined reference model- and view-based specification approach has been proposed recently in the software engineering community. In this paper we present a specifica...
157
click to vote
CAISE
2007
Springer
16 years 24 days ago
2007
Springer
Introducing process-aware information systems (PAIS) in enterprises is usually associated with high costs. It is therefore crucial to understand those factors that determine these ...
170
click to vote
CATA
2003
15 years 8 months ago
2003
In this paper we present a new method of combining multiple precedence constraints for a single task to support software systems having client-server relationships. In these types...
194
click to vote
ROBOCUP
1999
Springer
15 years 11 months ago
1999
Springer
In recent years, many researchers in AI and Robotics pay attention to RoboCup, because robotic soccer games needs various techniques in AI and Robotics, such as navigation, behavi...