3408 search results - page 645 / 682 » Logic, language, information and computation |
223
click to vote
SACMAT
2009
ACM
16 years 21 days ago
2009
ACM
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...
173
click to vote
IROS
2008
IEEE
16 years 18 days ago
2008
IEEE
— Developers and end-users have to interface robotic systems for control and feedback. Such systems are typically co-engineered with their graphical user interfaces. In the past,...
176
click to vote
TPHOL
2007
IEEE
16 years 14 days ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
204
click to vote
CPAIOR
2007
Springer
16 years 11 days ago
2007
Springer
Abstract. In recent work binary decision diagrams (BDDs) were introduced as a technique for postoptimality analysis for integer programming. In this paper we show that much smaller...
179
click to vote
ICSOC
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. A key function of a Service Oriented Architecture is the separation between business logic and the platform of its implementation and deployment. Much of the focus in SOA...