14360 search results - page 2412 / 2872 » Time Modeling in MARTE |
174
click to vote
CAISE
2004
Springer
16 years 8 days ago
2004
Springer
Office activity procedure automation is getting very popular in major organizations. During the automation then workflow method is chosen frequently, because of its possibility to ...
192
click to vote
CIA
2004
Springer
16 years 8 days ago
2004
Springer
We are investigating how to provide intelligent, pervasive support of group of people within so-called “smart environments”. Our current main assumption, based on literature in...
170
click to vote
CIKM
2004
Springer
16 years 8 days ago
2004
Springer
We examine the problem of retrieving the top-m ranked items from a large collection, randomly distributed across an n-node system. In order to retrieve the top m overall, we must ...
170
click to vote
CLEF
2004
Springer
16 years 8 days ago
2004
Springer
Our group in the Department of Informatics at the University of Oviedo has participated, for the first time, in two tasks at CLEF: monolingual (Russian) and bilingual (Spanish-to-E...
177
click to vote
CONCUR
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. Control synthesis is slowly transcending its traditional application domain within engineering to find interesting and useful applications in computer science. Synthesis...