1411 search results - page 194 / 283 » Interactive Coding for Interactive Proofs |
143
click to vote
KESAMSTA
2011
Springer
14 years 21 days ago
2011
Springer
Creating modular behaviours in JADE using a traditional method such as the FSM (Finite State Machine) can be a difficult task to achieve. The first issue with FSMs is that they do...
PPDP
2009
Springer
15 years 4 months ago
2009
Springer
Several recent language designs have offered a unified language for programming a distributed system, with explicit notation of locations; we call these “location-aware” lan...
ICANN
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. The firing activities of place cells in the rat hippocampus exhibit strong correlations to the animal’s location. External (e.g. visual) as well as internal (proprioce...
HICSS
2002
IEEE
15 years 2 months ago
2002
IEEE
Today’s distributed e-commerce applications typically rely upon various technologies in their realization, including the web, scripting languages, server-side processing and an ...
LCPC
2001
Springer
15 years 2 months ago
2001
Springer
Component architectures promote cross-project code reuse by facilitating composition of large applications using off-the-shelf software components. Existing component architecture...