1988 search results - page 255 / 398 » Engineering formal metatheory |
129
click to vote
ASPLOS
2006
ACM
16 years 15 days ago
2006
ACM
Operator mistakes have been identified as a significant source of unavailability in Internet services. In this paper, we propose a new language, A , for service engineers to writ...
143
click to vote
MSR
2006
ACM
16 years 14 days ago
2006
ACM
Software may contain functionality that does not align with its architecture. Such cross-cutting concerns do not exist from the beginning but emerge over time. By analysing where ...
180
click to vote
SACMAT
2006
ACM
16 years 14 days ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
201
click to vote
ACISICIS
2005
IEEE
16 years 4 days ago
2005
IEEE
Ubiquitous computing is viewed as a computing paradigm where minimal user intervention is necessitated emphasizing detection of environmental conditions and user behaviors in orde...
153
click to vote
ISESE
2005
IEEE
16 years 3 days ago
2005
IEEE
Many risk specific concepts like “threat”, “consequence” and “risk” belong to the daily language. In a risk analysis one cannot be certain that the participants’ int...