660 search results - page 23 / 132 » Formalizing the Development of Agent-Based Systems Using Gra... |
104
click to vote
EACL
1993
ACL Anthology
15 years 3 months ago
1993
ACL Anthology
Substantial efforts have been made in order to cope with disjunctions in constraint based grammar formalisms (e.g. [Kasper, 1987; Maxwell and Kaplan, 1991; DSrre and Eisele, 1990]...
157
click to vote
CCECE
2006
IEEE
15 years 8 months ago
2006
IEEE
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...
122
Voted
DATE
2004
IEEE
15 years 6 months ago
2004
IEEE
System level modeling with executable languages such as C/C++ has been crucial in the development of large electronic systems from general processors to application specific desig...
104
click to vote
RTSS
1999
IEEE
15 years 6 months ago
1999
IEEE
The e ective design of composite dependable and real-time protocols entails demonstrating their proof of correctness and, in practice, the e cient delivery of services. We focus o...
111
click to vote
FM
2003
Springer
15 years 7 months ago
2003
Springer
This paper describes the lessons we learned over a thirteen year period while helping to develop the shutdown systems for the nuclear generating station at Darlington, Ontario, Can...