ACSC
2006
IEEE
14 years 3 months ago
2006
IEEE
Communications devices intended for use in securitycritical applications must be rigorously evaluated to ensure they preserve data confidentiality. This process includes tracing t...
ACSC
2006
IEEE
14 years 3 months ago
2006
IEEE
ACSC
2006
IEEE
14 years 3 months ago
2006
IEEE
We introduce a logic for reasoning about and constructing refinements for
ACSC
2006
IEEE
14 years 5 months ago
2006
IEEE
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...
ACSC
2006
IEEE
14 years 5 months ago
2006
IEEE
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...
ACSC
2006
IEEE
14 years 5 months ago
2006
IEEE
Publish/subscribe systems filter published documents and inform their subscribers about documents matching their interests. Recent systems have focussed on documents or messages ...
ACSC
2006
IEEE
14 years 5 months ago
2006
IEEE
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 ...
ACSC
2006
IEEE
14 years 5 months ago
2006
IEEE
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 ...
ACSC
2006
IEEE
14 years 5 months ago
2006
IEEE
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...
ACSC
2006
IEEE
14 years 5 months ago
2006
IEEE
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...