3005 search results - page 201 / 601 » Logical Information Systems: from Taxonomies to Logics |
174
click to vote
ICST
2008
IEEE
16 years 1 months ago
2008
IEEE
If access control policy decision points are not neatly separated from the business logic of a system, the evolution of a security policy likely leads to the necessity of changing...
188
click to vote
WSC
1997
15 years 8 months ago
1997
The AutoModTM simulation system differs significantly from other systems because of its ability to deal with the physical elements of a system in physical (graphical) terms and th...
157
click to vote
MTV
2007
IEEE
16 years 26 days ago
2007
IEEE
The widening gap between CPU complexity and verification capability is becoming increasingly more salient. It is impossible to completely verify the functionality of a modern mic...
204
click to vote
EDCC
2006
Springer
15 years 10 months ago
2006
Springer
The importance of fault tolerance at the processor architecture level has been made increasingly important due to rapid advancements in the design and usage of high performance de...
202
click to vote
PLANX
2007
15 years 8 months ago
2007
Although monadic second-order logic (MSO) has been a foundation of XML queries, little work has attempted to take MSO formulae themselves as a programming construct. Indeed, MSO f...