20655 search results - page 3918 / 4131 » Exploring Software Systems |
134
click to vote
CCS
2009
ACM
15 years 6 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...
131
click to vote
ELPUB
2007
ACM
15 years 6 months ago
2007
ACM
Creating Internet services for a specific auditorium involves technical, organizational and sociological challenges to developers, processes and used technologies. Authoring and d...
126
click to vote
ERLANG
2007
ACM
15 years 6 months ago
2007
ACM
We propose a small extension of the ERLANG language that allows programmers to specify contracts with type information at the level of individual functions. Such contracts are opt...
107
click to vote
CSFW
2010
IEEE
15 years 6 months ago
2010
IEEE
—We propose a formal model of web security based straction of the web platform and use this model to analyze the security of several sample web mechanisms and applications. We id...
148
click to vote
ESCIENCE
2007
IEEE
15 years 6 months ago
2007
IEEE
Over the past several years, with the advent of the Open Grid Services Architecture (OGSA) [10] and the Web Services Resource Framework (WSRF) [14], Service-Oriented Architectures...