3844 search results - page 393 / 769 » Modular interpreted systems |
191
click to vote
CSFW
2010
IEEE
15 years 9 months ago
2010
IEEE
—Authorization logics allow concise specification of flexible access-control policies, and are the basis for logic-based access-control systems. In such systems, resource owner...
140
click to vote
EMSOFT
2006
Springer
15 years 8 months ago
2006
Springer
Among related synchronous programming principles, the model of computation of the Polychrony workbench stands out by its capability to give high-level description of systems where...
144
click to vote
CAEPIA
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. The following problem will be considered: from scattered examples on the behavior of a dynamic system induce a description of the system. For the induced description to b...
147
click to vote
ICALP
1998
Springer
15 years 8 months ago
1998
Springer
An architecture is described for designing systems that acquire and manipulate large amounts of unsystematized, or so-called commonsense, knowledge. Its aim is to exploit to the fu...
143
click to vote
IADIS
2003
15 years 6 months ago
2003
Power transformers' failures carry great costs to electric companies since they need resources to recover from them and to perform periodical maintenance. To avoid this probl...