4211 search results - page 450 / 843 » A formal approach to MASQ |
158
click to vote
HICSS
2005
IEEE
16 years 15 days ago
2005
IEEE
In this paper, we consider existing approaches to ontology definition and validation. Popular techniques include the use of domain experts or reliance on formal logic. We consider...
180
click to vote
NCA
2005
IEEE
16 years 14 days ago
2005
IEEE
In this paper, fundamental conditions which bound the network processing unit (NPU) worst-case performance are established. In particular, these conditions formalize and integrate...
158
click to vote
MMSEC
2005
ACM
16 years 13 days ago
2005
ACM
—This work investigates a central problem in steganography, that is: How much data can safely be hidden without being detected? To answer this question a formal definition of st...
163
click to vote
ECWEB
2005
Springer
16 years 12 days ago
2005
Springer
Many approaches have been developed for modeling the functional aspects of Web applications, but there is a lack of a modeling language for their architectural concerns. This paper...
206
click to vote
EUPROJECTS
2005
Springer
16 years 12 days ago
2005
Springer
Participatory methods can, in principle, be applied for a variety of purposes to gain insight into the context of use of an artefact or the way in which tasks are performed by end ...