2694 search results - page 172 / 539 » Frege's New Science |
170
click to vote
MFCS
2007
Springer
16 years 21 days ago
2007
Springer
We investigate algorithmic properties of infinite transition graphs that are generated by rewriting systems over unranked trees. Two kinds of such rewriting systems are studied. ...
204
click to vote
BROADNETS
2006
IEEE
16 years 19 days ago
2006
IEEE
— The use of a manageable optical network is an important requirement for the new advanced data-intensive grid applications that begin to emerge on the e-Science field. In this ...
156
click to vote
HICSS
2006
IEEE
16 years 19 days ago
2006
IEEE
A new model for representing temporal access control policies is introduced. In this model, temporal authorizations are represented by time attributes associated with subjects and...
168
click to vote
HICSS
2006
IEEE
16 years 19 days ago
2006
IEEE
Our paper presents a new IT governance framework and introduces an assessment tool designed to measure its effectiveness. The framework builds on the integration between the struc...
168
click to vote
GECCO
2005
Springer
16 years 3 days ago
2005
Springer
Ongoing research has established a new methodology for using genetic algorithms [2] to evolve forward and inverse transforms that significantly reduce quantization error in recons...