1888 search results - page 43 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
127
Voted
ICEIS
2000
IEEE
15 years 7 months ago
2000
IEEE
: In modern organisations the monolithic information systems of the past are being gradually replaced by networked systems, enabling distributed computing often based on multi-agen...
118
Voted
ICPADS
1996
IEEE
15 years 6 months ago
1996
IEEE
A new multiagent programmingparadigm based on the transactional logic model' is developed. This paradigm enables us to construct a Distributed agent transactional program (DA...
116
Voted
FASE
1999
Springer
15 years 6 months ago
1999
Springer
JTN is a formal graphic notation for Java-targeted design speci cations, that are speci cations of systems that will be implemented using Java. JTN is aimed to be a part of a more ...
138
Voted
FM
2006
Springer
15 years 6 months ago
2006
Springer
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...
113
click to vote
KCAP
2005
ACM
15 years 8 months ago
2005
ACM
For decades, researchers in knowledge representation (KR) have argued for and against various choices in KR formalisms, such as Rules, Frames, Semantic nets, and Formal logic. In ...