Sciweavers

6274 search results - page 577 / 1255
» Proofs, Programs, Processes
Sort
View
199
Voted
IESA
2007
15 years 9 months ago
UN/CEFACT Core Components as the basis for structured business communication by SMEs, employing auto-generated, user adjustable
In this paper a methodology is presented to generate webforms for business documents directly from XML schemas. XML Schemas that are based on the UN/CEFACT Naming and Design Rules ...
Fred van Blommestein, Bertjan Broeksema
IWFM
2003
15 years 8 months ago
Using Admissible Interference to Detect Denial of Service Vulnerabilities
Meadows recently proposed a formal cost-based framework for analysis of denial of service. It was showed how some principles that have already been used to make cryptographic prot...
Stéphane Lafrance, John Mullins
EJIS
2007
87views more  EJIS 2007»
15 years 7 months ago
Identifying healthcare actors involved in the adoption of information systems
The adoption of information systems in healthcare is no less significant than in any other commercial or caring organisation. The literature on IS adoption in healthcare, makes it...
Vasiliki Mantzana, Marinos Themistocleous, Zahir I...
IJCSA
2007
143views more  IJCSA 2007»
15 years 7 months ago
Incremental Trade-Off Management for Preference-Based Queries
Preference-based queries often referred to as skyline queries play an important role in cooperative query processing. However, their prohibitive result sizes pose a severe challen...
Wolf-Tilo Balke, Ulrich Güntzer, Christoph Lo...
ICGI
2010
Springer
15 years 6 months ago
Grammatical Inference as Class Discrimination
Abstract. Grammatical inference is typically defined as the task of finding a compact representation of a language given a subset of sample sequences from that language. Many di...
Menno van Zaanen, Tanja Gaustad