7288 search results - page 1253 / 1458 » On process rate semantics |
174
click to vote
BTW
2007
Springer
16 years 22 days ago
2007
Springer
: Independent, heterogeneous, distributed, sometimes transient and mobile data sources produce an enormous amount of information that should be semantically integrated and filtere...
161
click to vote
CIKM
2007
Springer
16 years 22 days ago
2007
Springer
This paper describes Koru, a new search interface that offers effective domain-independent knowledge-based information retrieval. Koru exhibits an understanding of the topics of b...
172
click to vote
DCOSS
2007
Springer
16 years 22 days ago
2007
Springer
Macroprogramming—the technique of specifying the behavior of the system, as opposed to the constituent nodes—provides application developers with high level abstractions that a...
167
click to vote
ECTEL
2007
Springer
16 years 22 days ago
2007
Springer
The paper presents LOCO-Analyst, an educational tool for providing teachers with feedback on the relevant aspects of the learning process taking place in a web-based learning envir...
167
click to vote
FCT
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...