3868 search results - page 180 / 774 » Open Systems in TLA |
184
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
This paper describes the LDL++ system and the research advances that have enabled its design and development. We begin by discussing the new nonmonotonic and nondeterministic cons...
192
Voted
WCFLP
2005
ACM
16 years 19 days ago
2005
ACM
There exist several implementations of the functional logic language Curry: a transformation to Prolog and implementations of machines for C and Java. We show that there are many ...
150
Voted
CEAS
2005
Springer
16 years 18 days ago
2005
Springer
Spam filter developers are confronted with the task of integrating their ideas in user-friendly products. In this paper, we introduce Spamato as an open, extendable, and multi-fa...
201
Voted
EUMAS
2006
15 years 8 months ago
2006
In a normative society there are two main problems: defining norms and enforcing them. Enforcement becomes a complex issue as societies become more decentralized and open. We propo...
165
click to vote
ENTCS
2007
15 years 7 months ago
2007
Modern software is increasingly concurrent, timed, distributed, and therefore, non-deterministic. While it is well known that tests can be generated as LTL or CTL model checker co...