2291 search results - page 254 / 459 » Logic Programming and Model Checking |
109
Voted
CISIS
2010
IEEE
15 years 9 months ago
2010
IEEE
—This paper presents a qualitative logic-based method for the steady-state analysis and revision of metabolic networks with inhibition. The approach is able to automatically revi...
106
click to vote
DSOM
2004
Springer
15 years 8 months ago
2004
Springer
Netconf is a protocol proposed by the IETF that defines a set of operations for network configuration. One of the main issues of Netconf is to define operations such as validate...
124
Voted
CAISE
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (Soa) paradigm. We propose in this paper a t...
111
Voted
RTS
2008
15 years 2 months ago
2008
The aim of this paper is to show, how a multitasking application running under a real-time operating system compliant with an OSEK/VDX standard can be modeled by timed automata. Th...
124
Voted
ICECCS
2005
IEEE
15 years 8 months ago
2005
IEEE
To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems’ resources. These permissions rely on certai...