3868 search results - page 363 / 774 » Open Systems in TLA |
170
click to vote
ECTEL
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Technology-enhanced learning has gained momentum in European Higher Education, especially in recent years. In what way this movement has influenced organisations, their ...
147
click to vote
IEEEARES
2006
IEEE
16 years 27 days ago
2006
IEEE
In highly open systems like the Internet, attribute-based access control (ABAC) has proven its appropriateness. The specification and maintenance of ABAC policies however has tur...
189
click to vote
JVA
2006
IEEE
16 years 26 days ago
2006
IEEE
We present a natural deduction calculus for the computation tree logic CTL defined with the full set of classical and temporal logic operators. The system extends the natural ded...
201
click to vote
SAINT
2006
IEEE
16 years 26 days ago
2006
IEEE
1 Establishing suitable programming models for pervasive spaces is essential in improving the productivity, enhancing the quality of pervasive systems, and creating an open platfor...
181
click to vote
ACSAC
2005
IEEE
16 years 14 days ago
2005
IEEE
It is sometimes desirable to allow access to open ports on a firewall only to authorized external users and present closed ports to all others. We examine ways to construct an au...