2261 search results - page 431 / 453 » Relationships Between Models of Concurrency |
ICSE
2010
IEEE-ACM
14 years 2 months ago
2010
IEEE-ACM
We performed an empirical study to characterize factors that affect which bugs get fixed in Windows Vista and Windows 7, focusing on factors related to bug report edits and relat...
HICSS
1996
IEEE
14 years 2 months ago
1996
IEEE
In this paper, we present a document model which integrates the logical structure and hypertext link structure of hyperdocuments in order to manage structured documents with hyper...
FASE
2009
Springer
14 years 1 months ago
2009
Springer
This paper describes the certification of smart-card applications in the framework of Common Criteria. In this framework, a smart-card application is represented by a model of its...
COMPGEOM
2001
ACM
14 years 1 months ago
2001
ACM
This presentation illustrates examples of my geometric sculpture and outlines certain design techniques. I apply methods from the field of computational geometry to the creation o...
HT
1987
ACM
14 years 1 months ago
1987
ACM
Hypertext is a technology well-suited to exploring different kinds of representational problems. It can be used first as an informal mechanism to describe the attributes of object...