3505 search results - page 623 / 701 » A Language for Human Action |
184
Voted
ICLP
2009
Springer
16 years 16 days ago
2009
Springer
If logic programs are interpreted over a three-valued logic, then often Kleene's strong three-valued logic with complete equivalence and Fitting's associated immediate co...
SIGCSE
2009
ACM
16 years 14 days ago
2009
ACM
Like a screenplay, a program is both a static artifact and instructions for a dynamic performance. This duality can keep laypeople from appreciating the complexity of software sys...
163
click to vote
SIGMOD
2008
ACM
16 years 1 days ago
2008
ACM
Database searches are usually performed with query languages and form fill in templates, with results displayed in tabular lists. However, excitement is building around dynamic qu...
ICSE
2005
IEEE-ACM
15 years 12 months ago
2005
IEEE-ACM
In this paper, I make a case for integration of requirements engineering (RE) with clinical disciplines. To back my case, I look at two examples that employ a clinical RE approach...
129
click to vote
MOBISYS
2006
ACM
15 years 11 months ago
2006
ACM
Tool support for mobile application development can significantly improve programmer productivity and software quality. Pegboard is a novel tooling framework that extends the Ecli...