23406 search results - page 4262 / 4682 » Architecture, Design, Implementation |
192
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...
176
click to vote
IJFCS
2006
15 years 6 months ago
2006
In recent years, workflow technology has greatly facilitated business process modeling and reengineering in information systems. On one hand, the separation of an application'...
185
Voted
IJFCS
2006
15 years 6 months ago
2006
Abstract. We design a succinct full-text index based on the idea of Huffmancompressing the text and then applying the Burrows-Wheeler transform over it. The resulting structure can...
184
click to vote
CONCURRENCY
2007
15 years 6 months ago
2007
Visualization is an important part of the data analysis process. Many researchers, however, do not have access to the resources required to do visualization effectively for large ...
152
Voted
JAIR
2008
15 years 6 months ago
2008
We present the design and analysis of the first fully expressive, iterative combinatorial exchange (ICE). The exchange incorporates a tree-based bidding language (TBBL) that is co...