2131 search results - page 29 / 427 » Multi-Agent System Development: Design, Runtime, and Analysi... |
151
Voted
DAGSTUHL
1996
15 years 5 months ago
1996
As partial evaluation gets more mature, it is now possible to use this program transformation technique to tackle realistic languages and real-size application programs. However, t...
129
Voted
HOTOS
2009
IEEE
15 years 7 months ago
2009
IEEE
Distributed systems are difficult to design and develop. The difficulties arise both in basic safety correctness properties, and in achieving high performance. As a result of this...
130
Voted
LCTRTS
2001
Springer
15 years 8 months ago
2001
Springer
Giotto is a principled, tool-supported design methodology for implementing embedded control systems on platforms of possibly distributed sensors, actuators, CPUs, and networks. Gio...
158
Voted
CGO
2006
IEEE
15 years 9 months ago
2006
IEEE
The majority of security vulnerabilities published in the literature are due to software bugs. Many researchers have developed program transformation and analysis techniques to au...
129
Voted
CHI
1997
ACM
15 years 8 months ago
1997
ACM
—The Amulet user interface development environment makes it easier for programmers to create highly-interactive, graphical user interface software for Unix, Windows and the Macin...