11168 search results - page 1639 / 2234 » Abstract State Processes |
140
click to vote
ERCIMDL
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. The changes in Swedish education following the Bologna requirements resulted in the first Master's programmes in Library and Information Science. Two of them target ...
144
click to vote
HCI
2009
15 years 2 months ago
2009
Abstract. Following the successful trend of open source, companies can be observed to open their innovation and development processes towards interested and capable partners inside...
136
click to vote
IC3
2009
15 years 2 months ago
2009
Abstract. This paper describes a hybrid grouping genetic algorithm for a multiprocessor scheduling problem, where a list of tasks has to be scheduled on identical parallel processo...
152
click to vote
ICFEM
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. This paper shows how Ptolemy II discrete-event (DE) models can be formally analyzed using Real-Time Maude. We formalize in Real-Time Maude the semantics of a subset of hi...
161
click to vote
ICIAR
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. In this paper we propose a method for automating the process of detecting regions of motion in a video sequence in real time. The main idea of this work is to detect moti...