1580 search results - page 83 / 316 » Non-Interference Through Determinism |
CAISE
2009
Springer
14 years 4 months ago
2009
Springer
Introducing enterprise information systems (EIS) is usually associated with high costs. It is therefore crucial to understand those factors that determine or influence these costs...
FGCN
2008
IEEE
14 years 4 months ago
2008
IEEE
In a smart building environment nomadic users can benefit from specialised contextsensitive services. These can increase productivity and offer an improved lifestyle for users. Th...
ICST
2008
IEEE
14 years 4 months ago
2008
IEEE
Verification and validation techniques often generate various forms of software development artifacts. Change records created from verification and validation efforts show how fil...
COMSWARE
2007
IEEE
14 years 4 months ago
2007
IEEE
—Traditional authentication systems employed on Internet are facing an acute problem of intrusions. In this context we propose a neural architecture for user authentication throu...
POLICY
2007
Springer
14 years 3 months ago
2007
Springer
Data is often encumbered by restrictions on the ways in which it may be used. These restrictions on usage may be determined by statute, by contract, by custom, or by common decenc...