2253 search results - page 153 / 451 » Computing with Realizational Morphology |
142
click to vote
TLCA
2005
Springer
15 years 12 months ago
2005
Springer
Proof animation is a way of executing proofs to nd errors in the formalization of proofs. It is intended to be \testing in proof engineering". Although the realizability inter...
149
click to vote
GI
2004
Springer
15 years 11 months ago
2004
Springer
: In this paper we describe one of the authors’ experiences working for an IT service provider in an SME environment. The paper starts with an analysis of the factors typical for...
211
click to vote
NCA
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents the ADHOCFS file system for mobile users, which realizes transparent, adaptive file access according to the users’ specific situations (e.g., device in us...
168
click to vote
CA
2002
IEEE
15 years 11 months ago
2002
IEEE
Very large databases on the Web have been changing dynamically and have become complicated today. This research aims at helping users’ understanding of database changes by datab...
161
click to vote
ICDCSW
2002
IEEE
15 years 11 months ago
2002
IEEE
In the development of agent applications, interactions are an important issue, which must be faced with appropriate methodologies and tools. A separation of concerns between the a...