7694 search results - page 1279 / 1539 » An Implementation of an Applicative File System |
155
click to vote
IJAIT
2006
15 years 4 months ago
2006
We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof obligatio...
148
click to vote
JCM
2008
15 years 4 months ago
2008
Abstract--Mobile Agents is a new paradigm for distributed computing where security is very essential to the acceptance of this paradigm in a large scale distributed environment. In...
140
click to vote
JNW
2008
15 years 4 months ago
2008
Service personalization is an important goal for any smart environment. Comfort systems may be adjusted in an automatic way when a given user is present, and multimedia devices may...
131
click to vote
JOT
2008
15 years 4 months ago
2008
At the moment, enterprises require complex business models with an organizational structures, processes and systems that must be explicitly designed. The work designed by these bu...
151
Voted
IAJIT
2007
15 years 4 months ago
2007
: Word prediction is an important NLP problem in which we want to predict the correct word in a given context. Word completion utilities, predictive text entry systems, writing aid...