1128 search results - page 24 / 226 » Little Engines of Proof |
CATS
2007
14 years 11 months ago
2007
The busy beaver problem is to find the maximum number of 1’s that can be printed by an n-state Turing machine of a particular type. A critical step in the evaluation of this va...
DAGSTUHL
2007
14 years 11 months ago
2007
My work has two relationships with End User Software Engineering. First, as an Empirical Software Engineer, I am interested in meeting with people who do research into techniques ...
IEEESP
2010
14 years 8 months ago
2010
Role engineering for role-based access control (RBAC) is a process to define roles, permissions, constraints, and role hierarchies. The scenario-driven role engineering process pr...
LAWEB
2005
IEEE
15 years 3 months ago
2005
IEEE
In today’s e-commerce environment, information is an incredibly valuable asset. Surveys indicate that companies are suffering staggering financial losses due to web security iss...
IFIP
1993
Springer
15 years 1 months ago
1993
Springer
When designing a plant for continuous or semi-continuous processes, such as paper pulp or petrochemical production systems, engineers face very complex tasks, which are only in pa...