4460 search results - page 444 / 892 » Formal methods for interactive systems |
201
click to vote
ESWS
2007
Springer
16 years 1 months ago
2007
Springer
Traditional process support systems typically offer a static composition of atomic tasks to more powerful services. In the real world, however, processes change over time: busines...
183
click to vote
TROB
2002
15 years 6 months ago
2002
Reconfigurable software is highly desired for automated machine tool control systems for low-cost products and short time to market. In this paper, we propose a software architectu...
212
Voted
ICIP
2010
IEEE
15 years 4 months ago
2010
IEEE
In this paper, we present our eSur (Event detection system on SURveillance video) system, which is derived from TRECVID'09 surveillance tasks. Currently, eSur attempts to det...
169
click to vote
FASE
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The notion of feature is heavily used in Software Engineering, especially for software product lines. However, this notion appears to be confusing, mixing various aspects...
175
click to vote
ICWE
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. This paper presents an approach for monitoring several important aspects related to user behaviour during the execution of Web tasks1 . The approach includes the tracking...