1150 search results - page 102 / 230 » Specifying Information-Flow Controls |
CAISE
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Software requirements engineering is an essential activity for the successful development of information systems. Requirements can be specified using different techniques...
HYBRID
2000
Springer
13 years 12 months ago
2000
Springer
We propose a computer-aided methodology to automatically generate time optimal production schemes for chemical batch plants operating in multi-batch mode. Our approach is based on ...
IADIS
2004
13 years 9 months ago
2004
Distributed management of user profiles and identities allow reuse of profile information for different personalization services but also raises privacy issues. Users need a possi...
FLAIRS
2001
13 years 9 months ago
2001
In this paper, we argue that KBS validation should not be limited to testing functional properties of the system, such as its input - output behavior, but must also address its dy...
IADIS
2003
13 years 9 months ago
2003
Hypermedia systems (whether web sites or not) should support multilevel policiesm, offering different views and manipulation abilities of the same information to users with differ...