13457 search results - page 163 / 2692 » Design and Development of the Long-Jumping |
191
click to vote
CASCON
2007
15 years 8 months ago
2007
We present preliminary work on an IDE for formal software development using tabular expressions as the basis for precise specifications and descriptions of software behaviour. 1 ...
135
click to vote
MATES
2009
Springer
16 years 1 months ago
2009
Springer
In this paper we describe the Agent World Editor, a tool for designing multi-agent systems and generating executable agent code. The tool also unifies the handling of different a...
160
click to vote
IJCNN
2008
IEEE
2008
IEEE
Large developing axonal arbors using a distributed and locally-reprogrammable address-event receiver
16 years 26 days ago
Abstract— We have designed a distributed and locally reprogrammable address event receiver. Incoming address-events are monitored simultaneously by all synapses, allowing for arb...
164
click to vote
OOPSLA
2007
Springer
16 years 17 days ago
2007
Springer
One of the major concerns in the processes which involve human analysts is the existence of uncertainty/inconsistency. In this paper, we propose a model based on belief theory tha...
164
click to vote
HICSS
2006
IEEE
16 years 15 days ago
2006
IEEE
Our paper presents a new IT governance framework and introduces an assessment tool designed to measure its effectiveness. The framework builds on the integration between the struc...