5664 search results - page 921 / 1133 » Creativity support tools |
142
Voted
EDOC
2009
IEEE
15 years 8 months ago
2009
IEEE
Viewpoint modeling is an effective technique for specifying complex software systems in terms of a set of independent viewpoints and correspondences between them. Each viewpoint f...
156
Voted
FM
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
120
click to vote
HT
2007
ACM
15 years 8 months ago
2007
ACM
This paper presents a framework and system to evaluate the accessibility of web pages according to the individual requirements of users with disabilities. These requirements not o...
140
click to vote
HOTOS
2009
IEEE
15 years 8 months ago
2009
IEEE
The last fifteen years has seen a vast proliferation of middleboxes to solve all manner of persistent limitations in the Internet protocol suite. Examples include firewalls, NATs,...
127
click to vote
AIMSA
2006
Springer
15 years 8 months ago
2006
Springer
Automatic authorship identification offers a valuable tool for supporting crime investigation and security. It can be seen as a multi-class, single-label text categorization task. ...