3844 search results - page 613 / 769 » Modular interpreted systems |
143
click to vote
TACAS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. The automatic synthesis of programs from their specifications has been a dream of many researchers for decades. If we restrict to open finite-state reactive systems, th...
162
click to vote
APGV
2004
ACM
15 years 12 months ago
2004
ACM
The class of all natural images is an extremely small fraction of all possible images. Some of the structure of natural images can be modeled statistically, revealing striking reg...
181
click to vote
ERLANG
2004
ACM
15 years 12 months ago
2004
ACM
Erlang is a concurrent functional language designed for developing large-scale, distributed, fault-tolerant systems. The primary implementation of the language is the Erlang/OTP s...
166
click to vote
WOSP
2004
ACM
15 years 12 months ago
2004
ACM
In this paper we describe our experience in performance analysis of the software architecture of the NICE case study which is responsible for providing several secure communicatio...
173
click to vote
CIA
2004
Springer
15 years 12 months ago
2004
Springer
Given a specification of communication rules in a multiagent system (in the form of protocols, ACL semantics, etc.), the question of how to design appropriate agents that can oper...