2704 search results - page 429 / 541 » Constraint Management in Engineering of Complex Information ... |
ICRE
1996
IEEE
15 years 5 months ago
1996
IEEE
This paper presents a method that can be used for the elicitation and speci cation of requirements and high-level design. It supports stakeholder-based modeling, rapid feasibility...
104
click to vote
UIST
2010
ACM
14 years 11 months ago
2010
ACM
We present a system for the actuation of tangible magnetic widgets (Madgets) on interactive tabletops. Our system combines electromagnetic actuation with fiber optic tracking to m...
VSTTE
2010
Springer
14 years 11 months ago
2010
Springer
Formal modeling of computing systems yields models that are intended to be correct with respect to the requirements that have been formalized. The complexity of typical computing s...
127
click to vote
ICFEM
2005
Springer
15 years 7 months ago
2005
Springer
We provide precise high-level models for eight fundamental service interaction patterns, together with schemes for their composition into complex service-based business process int...
142
click to vote
PODS
2008
ACM
16 years 1 months ago
2008
ACM
We present a novel definition of privacy in the framework of offline (retroactive) database query auditing. Given information about the database, a description of sensitive data, ...