Sciweavers

457 search results - page 9 / 92
» Boolean algebras arising from information systems
Sort
View
73
Voted
BPM
2007
Springer
144views Business» more  BPM 2007»
15 years 3 months ago
Managing Socio-technical Interactions in Healthcare Systems
Abstract. We put forward an architectural framework that promotes the externalisation of the social dimension that arises in software-intensive systems which, like in healthcare, e...
Osama El-Hassan, José Luiz Fiadeiro, Reiko ...
ADC
2006
Springer
145views Database» more  ADC 2006»
15 years 3 months ago
Dynamic labeling schemes for ordered XML based on type information
With the increasing popularity of XML, there arises the need for managing and querying information in this form. Several query languages, such as XQuery, have been proposed which ...
Damien K. Fisher, Franky Lam, William M. Shui, Ray...
APAL
2010
123views more  APAL 2010»
14 years 9 months ago
Cut elimination and strong separation for substructural logics: An algebraic approach
Abstract. We develop a general algebraic and proof-theoretic study of substructural logics that may lack associativity, along with other structural rules. Our study extends existin...
Nikolaos Galatos, Hiroakira Ono
DEXAW
2004
IEEE
118views Database» more  DEXAW 2004»
15 years 1 months ago
Requirements and Design of an Integrated European Environmental Information Communication System (IEEICS)
The needs for various forms of information systems relating to the European environment and ecosystem are reviewed, and limitations indicated.. Existing information systems are re...
Keith Rennolls, Tim Richards, Alexander M. Fedorec...
JAIR
2007
120views more  JAIR 2007»
14 years 9 months ago
An Algebraic Graphical Model for Decision with Uncertainties, Feasibilities, and Utilities
Numerous formalisms and dedicated algorithms have been designed in the last decades to model and solve decision making problems. Some formalisms, such as constraint networks, can ...
Cédric Pralet, Gérard Verfaillie, Th...