4460 search results - page 337 / 892 » Formal methods for interactive systems |
167
click to vote
CORIA
2008
15 years 8 months ago
2008
This paper presents an iterative and interactive information retrieval system to search on the web using formal concept analysis (FCA). FCA provides a natural way to organise objec...
159
click to vote
CASSIS
2004
Springer
16 years 3 days ago
2004
Springer
Security policies are rules that constrain the behaviour of a system. Different, largely unrelated sets of rules typically govern the physical and logical worlds. However, increa...
199
click to vote
COCO
1991
Springer
15 years 10 months ago
1991
Springer
Abstract. In this paper, we generalize the previous formal de nitions of random-self-reducibility. We show that, even under our very general de nition, sets that are complete for a...
172
click to vote
CSREAEEE
2006
15 years 8 months ago
2006
Abstract--In distance teaching, direct feedback to the students is difficult to give, but crucial for their learning success. The system Asterix was developed in order to support t...
208
click to vote
ISOLA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Service-oriented systems have recently emerged as context-independent component-based systems. Unlike components, services can be created, invoked, composed, and destroye...