4419 search results - page 233 / 884 » Information Science in Transition |
217
click to vote
FORMATS
2007
Springer
15 years 11 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...
186
click to vote
ICCS
2000
Springer
15 years 10 months ago
2000
Springer
In this paper, we discuss Conceptual Knowledge Discovery in Databases (CKDD) in its connection with Data Analysis. Our approach is based on Formal Concept Analysis, a mathematical ...
205
click to vote
IEEESCC
2010
IEEE
15 years 9 months ago
2010
IEEE
Due to the shift from software-as-a-product (SaaP) to software-as-a-service (SaaS), software components that were developed to run in a single address space must increasingly be a...
170
click to vote
COMPSEC
2004
15 years 7 months ago
2004
The long-term preservation of digitally signed documents may be approached and analyzed from various perspectives, i.e. future data readability, signature validity, storage media ...
200
click to vote
JCT
2000
15 years 7 months ago
2000
A partial order on Z obtained by taking the transitive closure of a random relation {i < j and there is an edge ij} is studied. Randomness stems from postulating that an edge ij...