11017 search results - page 316 / 2204 » Closure Systems and their Structure |
139
click to vote
ER
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present an approach to support incremental navigation of structured information, where the structure is introduced by the data model and schema (if present) of a data ...
163
Voted
ICCS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Infinite contexts and their corresponding lattices are of theoretical and practical interest since they may offer connections with and insights from other mathematical ...
152
Voted
ICRE
1996
IEEE
15 years 10 months ago
1996
IEEE
This paper discusses a technique to structure utterance records of the meetings for requirements elicitation based on speech act theory. To elicit requirements to the system to be...
159
click to vote
ISCA
1993
IEEE
15 years 10 months ago
1993
IEEE
A shared data structure is lock-free if its operations do not require mutual exclusion. If one process is interrupted in the middle of an operation, other processes will not be pr...
156
click to vote
TYPES
1993
Springer
15 years 10 months ago
1993
Springer
Abstract. We explore the expressive power of the formalism called Natural Operational Semantics, NOS, introduced by Burstall and Honsell for defining the operational semantics of ...