283 search results - page 38 / 57 » Software Inspections We Can Trust |
TAICPART
2010
IEEE
14 years 7 months ago
2010
IEEE
Abstract. Writing multithreaded software for multicore computers confronts many developers with the difficulty of finding parallel programming errors. In the past, most parallel d...
WCRE
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract—Enterprise Applications are complex software systems that manipulate much persistent data and interact with the user through a vast and complex user interface. In partic...
99
Voted
SIGECOM
2004
ACM
15 years 2 months ago
2004
ACM
The increasing popularity of resource exchange through peerto-peer networks has encouraged the development of ways to support more complex commercial transactions over these netwo...
ESORICS
2010
Springer
14 years 10 months ago
2010
Springer
We present a formal, symbolic definition of election verifiability for electronic voting protocols in the context of the applied pi calculus. Our definition is given in terms of bo...
SOCO
2007
Springer
15 years 3 months ago
2007
Springer
In component based software engineering, an application is build by composing trusted and reusable units of execution, the components. A composition is formed by connecting the com...