1754 search results - page 81 / 351 » What's new in informatics |
APAL
2006
13 years 9 months ago
2006
I present a new syntactical method for proving the Interpolation Theorem for the implicational fragment of intuitionistic logic and its substructural subsystems. This method, like...
ICSM
2006
IEEE
14 years 3 months ago
2006
IEEE
— Software maintenance tools for program analysis and refactoring rely on a meta-model capturing the relevant properties of programs. However, what is considered relevant may cha...
102
click to vote
Book
"Spatial structures and spatial reasoning are essential to perception and cognition. Much
day-to-day practical information is about what happens at certain spatial locations....
WECWIS
2008
IEEE
14 years 3 months ago
2008
IEEE
In the development of virtual communities, a new phenomenon of virtual money is observed and presented high importance to both e-commerce and e-society fields. This paper, as a pi...
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
— Organizations use security policies to regulate how they share and exchange information, e.g., under what conditions data can be exchanged, what protocols are to be used, who i...