2493 search results - page 120 / 499 » Tool Support for Design by Contract |
HICSS
2005
IEEE
15 years 3 months ago
2005
IEEE
Achieving information assurance and security is a complex and challenging task, which is crucial from national and personal security point of views. Research in detecting deceptiv...
CHI
2005
ACM
14 years 12 months ago
2005
ACM
Informal note taking is an essential activity in Personal Information Management (PIM). Most mobile devices support this via a suite of applications, employing both highly structu...
AOSD
2006
ACM
15 years 3 months ago
2006
ACM
OOP style requires programmers to organize their code according to objects (or nouns, using natural language as a metaphor), causing a program’s actions (verbs) to become scatte...
CSCW
2012
ACM
2012
ACM
See friendship, sort of: how conversation and digital traces might support reflection on friendships
13 years 5 months ago
Inspired by conversational visualization tools and the increasing enactment of relationships in social media, we examine how people reflect on friendships and how social data and ...
WWW
2005
ACM
15 years 10 months ago
2005
ACM
Whereas schools typically record mounds of data regarding student performance, attendance, and other behaviors over the course of a school year, rarely is that data consulted and ...