1099 search results - page 61 / 220 » A Formal Approach to Domain-Oriented Software Design Environ... |
181
click to vote
CCS
2009
ACM
15 years 10 months ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...
175
click to vote
ATAL
2007
Springer
16 years 11 days ago
2007
Springer
Multiagent environments are often not cooperative nor collaborative; in many cases, agents have conflicting interests, leading to adversarial interactions. This paper presents a ...
183
click to vote
SOFTVIS
2006
ACM
16 years 4 days ago
2006
ACM
We present Clack, a graphical environment for teaching students how Internet routers work and other core networking concepts. Clack is a router written as a Java Applet, and route...
179
click to vote
ACSAC
2000
IEEE
15 years 10 months ago
2000
IEEE
Existing software infrastructures and middleware provide uniform security services across heterogeneous information networks. However, few, if any, tools exist that support access...
217
click to vote
FCCM
1999
IEEE
15 years 10 months ago
1999
IEEE
Abstract We are developing an integrated algorithm analysis and mapping environment particularly tailored for signal processing applications on Adaptive Computing Systems ACS. Our ...