5550 search results - page 248 / 1110 » Different Approaches to Proof Systems |
162
click to vote
AUIC
2004
IEEE
15 years 10 months ago
2004
IEEE
We are at present enabled with machine-empowered technologies. The future is certainly looking towards human-empowered technologies, which should enable mobile user with natural w...
194
click to vote
AIML
2008
15 years 8 months ago
2008
Labelled tableaux are extensions of semantic tableaux with annotations (labels, indices) whose main function is to enrich the modal object language with semantic elements. This pap...
184
click to vote
GEOINFO
2004
15 years 8 months ago
2004
Abstract With the proliferation of Geographic Information Systems (GIS) and spatial resources over the Internet, there is an increasing demand for robust geospatial information ser...
187
click to vote
TOCS
2002
15 years 6 months ago
2002
This paper presents secure program partitioning, a language-based technique for protecting confidential data during computation in distributed systems containing mutually untruste...
198
click to vote
ISORC
2008
IEEE
16 years 1 months ago
2008
IEEE
Java, as a safe and platform independent language, avoids access to low-level I/O devices or direct memory access. In standard Java, low-level I/O it not a concern; it is handled ...