4258 search results - page 459 / 852 » Languages and Interactive Software Development |
145
click to vote
TPHOL
1999
IEEE
15 years 9 months ago
1999
IEEE
Abstract. We present a generic approach to readable formal proof documents, called Intelligible semi-automated reasoning (Isar). It addresses the major problem of existing interact...
129
Voted
EMSOFT
2005
Springer
15 years 10 months ago
2005
Springer
The correct interplay among components in a distributed, reactive system is a crucial development task, particularly for embedded systems such as those in the automotive domain. M...
145
click to vote
WIA
2009
Springer
15 years 11 months ago
2009
Springer
FAdo is an ongoing project which aims to provide a set of tools for symbolic manipulation of formal languages. To allow highlevel programming with complex data structures, easy pro...
121
click to vote
TREC
1994
15 years 6 months ago
1994
Full-text scanning oers signi cant advantages over other methods of document retrieval but is normally too slow for use on large collections. The Fujitsu AP1000 parallel distribut...
229
click to vote
GLOBAL
2003
Springer
15 years 10 months ago
2003
Springer
Klaim (Kernel Language for Agents Interaction and Mobility) is an experimental language specifically designed to program distributed systems consisting of several mobile component...