242 search results - page 22 / 49 » Building an interaction design pattern language: A case stud... |
131
click to vote
ICFEM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...
154
click to vote
TPHOL
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
128
click to vote
HCI
2007
15 years 5 months ago
2007
Social software and web 2.0 live on the fact that people want to share and collaborate. This feeling of connecting with each other as well as helping and sharing information can be...
145
click to vote
SIGGRAPH
2010
ACM
15 years 8 months ago
2010
ACM
Geodesic curves in surfaces are not only minimizers of distance, but they are also the curves of zero geodesic (sideways) curvature. It turns out that this property makes patterns...
141
click to vote
FASE
2005
Springer
15 years 9 months ago
2005
Springer
In situations in which developers are not familiar with a system or its documentation is inadequate, the system’s source code becomes the only reliable source of information. Unf...