3879 search results - page 181 / 776 » PyPBS design and methodologies |
131
click to vote
BCSHCI
2007
15 years 6 months ago
2007
The use of formal models for user interface design can provide a number of benefits. It can help to ensure consistency across designs for multiple platforms, prove properties such...
130
click to vote
ICALT
2008
IEEE
15 years 11 months ago
2008
IEEE
Future collaborative learning technologies are characterized by the CSCL community as highly malleable and flexible. A promising approach for meeting these expectations is to use ...
134
click to vote
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
We highlight the limitations of formal methods by exhibiting two results in recursive function theory: that there is no effective means of finding a program that satisfies a given...
144
click to vote
CDVE
2004
Springer
15 years 10 months ago
2004
Springer
The paper presents an agent-based engineering system developed for mobile devices. The proposed system has been used for constructing a wireless tourist guide application that inco...
110
click to vote
ISPD
1999
ACM
15 years 9 months ago
1999
ACM
We review the implications of subwavelength optical lithography for new tools and ows in the interface between layout design and manufacturability. After discussing the necessity ...