Sciweavers

901 search results - page 89 / 181
» Engineering Emergence
Sort
View
WPES
2004
ACM
14 years 3 months ago
Specifying privacy policies with P3P and EPAL: lessons learned
As computing becomes more ubiquitous and Internet use continues to rise, it is increasingly important for organizations to construct accurate and effective privacy policies that d...
William H. Stufflebeam, Annie I. Antón, Qin...
FSTTCS
2004
Springer
14 years 3 months ago
Verifying Probabilistic Procedural Programs
Abstract. Monolithic finite-state probabilistic programs have been abstractly modeled by finite Markov chains, and the algorithmic verification problems for them have been inves...
Javier Esparza, Kousha Etessami
ICFEM
2004
Springer
14 years 3 months ago
Software Model Checking Using Linear Constraints
Iterative abstraction refinement has emerged in the last few years as the leading approach to software model checking. In this context Boolean programs are commonly employed as si...
Alessandro Armando, Claudio Castellini, Jacopo Man...
SEKE
2004
Springer
14 years 3 months ago
Entering the Heart of Design: Relationships for Tracing Claim Evolution
Designers need guidance in tracing knowledge to support the iterative development of interactive software interfaces. Claims show promise in capturing design knowledge with concis...
Shahtab Wahid, C. F. Allgood, Christa M. Chewar, D...
HICSS
2003
IEEE
117views Biometrics» more  HICSS 2003»
14 years 3 months ago
Measuring the Degree of Virtualization - An Empirical Analysis in two Austrian Industries
Strategic management literature suggests that especially in young and dynamic industries Virtual Corporations are more likely to emerge, as this type of organization is flexible e...
Roland Bauer, Sabine T. Köszegi, Michaela Wol...