2419 search results - page 246 / 484 » A Formal Approach to Software Testing |
161
click to vote
ISSA
2004
15 years 5 months ago
2004
Web Services technology enables organisations to exploit software as a service. Services are accessed by method invocations. Method interfaces are described and published, and may...
143
click to vote
ESORICS
2010
Springer
15 years 5 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...
131
click to vote
RE
2008
Springer
15 years 3 months ago
2008
Springer
Requirements engineering for multiple customers, each of whom have competing and often conflicting priorities, raises issues of negotiation, mediation and conflict resolution. Thi...
143
click to vote
ACSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
Secure computer systems use both mandatory and discretionary access controls to restrict the flow of information through legitimate communication channels such as files, shared ...
137
click to vote
ENTCS
2006
15 years 4 months ago
2006
The term Ubiquitous Computing was coined by Mark Weiser almost two decades ago. Despite all the time that has passed since Weiser's vision, ubiquitous computing still has a l...