7694 search results - page 228 / 1539 » An Implementation of an Applicative File System |
165
click to vote
HICSS
2007
IEEE
16 years 15 days ago
2007
IEEE
Knowledge is recognized as a critical resource to gain and sustain competitive advantage in business. While many organizations are employing knowledge management (KM) initiatives,...
157
click to vote
PADL
2010
Springer
15 years 8 months ago
2010
Springer
Newer Prolog implementations commonly offer support for multi-threading, and have also begun to offer support for tabling. However, most implementations do not yet integrate tablin...
167
click to vote
JUCS
2008
15 years 6 months ago
2008
: Reasoning about incomplete qualitative temporal information is an essential topic in many artificial intelligence and natural language processing applications. In the domain of n...
189
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
Some classes of real-time systems function in environments which cannot be modeled with static approaches. In such environments, the arrival rates of events which drive transient ...
170
click to vote
IJAIT
2006
15 years 6 months ago
2006
We present MABLE, a fully implemented programming language for multiagent systems, which is intended to support the automatic verification of such systems via model checking. In a...