296 search results - page 15 / 60 » On the roles of functions and objects in system specificatio... |
IWFM
1998
13 years 9 months ago
1998
In this paper we suggest methods to aid the development of specifications using the B method. We propose an objectoriented approach to specification, developing the structure thro...
SACMAT
2005
ACM
14 years 1 months ago
2005
ACM
As a major component of any host, or network operating system, access control mechanisms come in a wide variety of forms, each with their individual attributes, functions, methods...
PGLDB
2003
13 years 9 months ago
2003
Effective e-learning environments should promote high cooperation. Workflow techniques can certainly contribute to such effectiveness because, in these environments, the creation ...
ISVC
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Occluding contour (OC) plays important roles in many computer vision tasks. The study of using OC for visual inference tasks is however limited, partially due to the lack...
AI
2001
Springer
13 years 11 months ago
2001
Springer
A system's constraints characterizes what that system can do. However, a dynamic environment may require that a system alter its constraints. If feedback about a specific situ...