3828 search results - page 337 / 766 » Proof-Based System Engineering Using a Virtual System Model |
193
click to vote
AAMAS
2008
Springer
15 years 6 months ago
2008
Springer
As the scale and scope of distributed and multi-agent systems grow, it becomes increasingly important to design and manage the participants' interactions. The potential for b...
199
click to vote
IFM
2005
Springer
16 years 5 days ago
2005
Springer
We present an embedding of the stable failures model of CSP in the PVS theorem prover. Our work, extending a previous embedding of the traces model of CSP in [6], provides a platfo...
216
click to vote
RE
2010
Springer
15 years 1 months ago
2010
Springer
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
206
click to vote
MOBIWAC
2006
ACM
16 years 19 days ago
2006
ACM
In this work we present a calibration-free system for locating wireless local area network devices, based on the radio frequency characteristics of such networks. Calibration proc...
177
click to vote
CHIMIT
2009
ACM
16 years 1 months ago
2009
ACM
System administrators are end-users too. And as end-users, they develop tools, create web pages, write command-line scripts, use spreadsheets, and repurpose existing tools. In sho...