2853 search results - page 262 / 571 » A platform for software engineering research |
118
click to vote
FSTTCS
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. In [12] we started a research on a distributed-timed extension of Petri nets where time parameters are associated with tokens and arcs carry constraints that qualify the ...
141
click to vote
IUI
2000
ACM
15 years 8 months ago
2000
ACM
We address the problem of realizing communicative plans in graphics. Our approach calls for mapping communicative goals to conceptual tasks and then using task-based graphic desig...
135
click to vote
EDBTW
2004
Springer
15 years 8 months ago
2004
Springer
Research on recommender systems has primarily addressed centralized scenarios and largely ignored open, decentralized systems where remote information distribution prevails. Absenc...
113
click to vote
FATES
2006
Springer
15 years 8 months ago
2006
Springer
Input-output conformance test theory for discrete systems has established itself in research and industry already. A couple of years ago also input-output conformance test theories...
129
click to vote
GCSE
2000
Springer
15 years 8 months ago
2000
Springer
Combinations of C++ features, like inheritance, templates, and class nesting, allow for the expression of powerful component patterns. In particular, research has demonstrated that...