1150 search results - page 61 / 230 » Specifying Information-Flow Controls |
AI
2011
Springer
13 years 4 months ago
2011
Springer
Much like relational probabilistic models, the need for relational preference models arises naturally in real-world applications where the set of object classes is fixed, but obj...
FASE
2009
Springer
14 years 4 months ago
2009
Springer
Live Sequence Charts (LSCs) is a visual requirements language for specifying reactive system behavior. When modeling and designing open reactive systems, it is often essential to h...
IAT
2007
IEEE
14 years 3 months ago
2007
IEEE
In this paper we face a problem for chemical processes in a production system; items should undergo chemical reactions in different baths to be processed by the system. Recipes f...
RTCSA
2005
IEEE
14 years 2 months ago
2005
IEEE
Large-scale distributed systems, such as ubiquitous computing environments, require a service delivery mechanism in order to keep track of the vast set of services offered and mak...
ACSAC
2000
IEEE
14 years 1 months ago
2000
IEEE
This paper describes an extension of the Java language that provides “programmable security.” The approach augments the Java syntax with constructs for specifying various acce...