2373 search results - page 388 / 475 » The Design of the Zinc Modelling Language |
166
click to vote
ICLP
2004
Springer
15 years 11 months ago
2004
Springer
A novel style of multi-agent system specification and deployment is described, in which familiar methods from computational logic are re-interpreted to a new context. One view of ...
157
click to vote
APSEC
2003
IEEE
15 years 11 months ago
2003
IEEE
Despite a growing awareness of security issues in networked computing systems, most development processes used today still do not take security aspects into account. To address th...
158
click to vote
MEMOCODE
2003
IEEE
15 years 11 months ago
2003
IEEE
Several efficient compilation techniques have been recently proposed for the generation of sequential (C) code from Esterel programs. Consisting essentially in direct simulation ...
138
click to vote
ICDAR
1997
IEEE
15 years 10 months ago
1997
IEEE
The performance of document analysis systems significantly depends on knowledge about the application domain that can be exploited in the analysis process. Typically, one has to d...
141
click to vote
FPL
1997
Springer
15 years 10 months ago
1997
Springer
: The paper first proposes requirements for an ideal platform for codesign research. A new board developed at Imperial College, the Riley-2, is shown to meet these requirements. It...