52 search results - page 6 / 11 » Constructing and exploring composite items |
142
click to vote
CHI
1995
ACM
15 years 7 months ago
1995
ACM
ld is a prototype IR user interface. It implements visualizations of an abstract information space – fulltext. The presentation demonstrates a visual user interface for the prob...
155
click to vote
FORMATS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
153
click to vote
OOIS
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. Design and development of information retrieval IR systems is a complex and expensive process. In the process of building an IR system, developers need to explore a lar...
122
click to vote
TASE
2009
IEEE
15 years 10 months ago
2009
IEEE
We explore the interactions between programvariable state visibility and communication behaviour in state-rich CSP-like processes, using the Unifying Theories of Programming (UTP)...
134
click to vote
FDL
2006
IEEE
15 years 9 months ago
2006
IEEE
To ensure correctness and performance of real-time embedded systems, early evaluation of properties is needed. Based on design experience for real-time systems and using the conce...