Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
ACSC
2006
IEEE
10 years 8 months ago
Tracing secure information flow through mode changes
Communications devices intended for use in securitycritical applications must be rigorously evaluated to ensure they preserve data confidentiality. This process includes tracing t...
Colin J. Fidge, Tim McComb
ACSC
2006
IEEE
10 years 8 months ago
Rule sets based bilevel decision model
Z. Zheng, G. Zhang, Q. He, J. Lu, Z. Shi
ACSC
2006
IEEE
10 years 8 months ago
Logic and refinement for charts
We introduce a logic for reasoning about and constructing refinements for
Greg Reeve, Steve Reeves
ACSC
2006
IEEE
10 years 10 months ago
Programming with heterogeneous structures: manipulating XML data using bondi
Manipulating semistructured data, such as XML, does not t well within conventional programming languages. A typical manipulation requires nding all occurrences of a structure matc...
F. Y. Huang, C. B. Jay, David B. Skillicorn
ACSC
2006
IEEE
10 years 10 months ago
Supporting software reuse by the individual programmer
Despite its long history and its benefits, software reuse has yet to become a common practise among software programmers. While there is much ongoing research, it focuses on larg...
Min-Sheng Hsieh, Ewan D. Tempero
ACSC
2006
IEEE
10 years 10 months ago
Approximative filtering of XML documents in a publish/subscribe system
Publish/subscribe systems filter published documents and inform their subscribers about documents matching their interests. Recent systems have focussed on documents or messages ...
Annika Hinze, Yann Michel, Torsten Schlieder
ACSC
2006
IEEE
10 years 10 months ago
Interaction design for a mobile context-aware system using discrete event modelling
This paper describes our experience when applying formal methods in the design of the tourist information system TIP, which presents context-sensitive information to mobile users ...
Annika Hinze, Petra Malik, Robi Malik
ACSC
2006
IEEE
10 years 10 months ago
Unsupervised band removal leading to improved classification accuracy of hyperspectral images
Remotely-sensed images of the earth’s surface are used across a wide range of industries and applications including agriculture, mining, defence, geography and geology, to name ...
R. Ian Faulconbridge, Mark R. Pickering, Michael J...
ACSC
2006
IEEE
10 years 10 months ago
Using formal concept analysis with an incremental knowledge acquisition system for web document management
It is necessary to provide a method to store Web information effectively so it can be utilised as a future knowledge resource. A commonly adopted approach is to classify the retri...
Timothy J. Everts, Sung Sik Park, Byeong Ho Kang
ACSC
2006
IEEE
10 years 10 months ago
CASO: a framework for dealing with objectives in a constraint-based extension to AgentSpeak(L)
Incorporating constraints into a reactive BDI agent programming language can lead to better expressive capabilities as well as more efficient computation (in some instances). More...
Aniruddha Dasgupta, Aditya K. Ghose
books