1686 search results - page 254 / 338 » Programs as polygraphs: computability and complexity |
116
click to vote
CMSB
2006
Springer
15 years 4 months ago
2006
Springer
Type checking and type inference are important concepts and methods of programming languages and software engineering. Type checking is a way to ensure some level of consistency, d...
117
Voted
ACMSE
2005
ACM
15 years 2 months ago
2005
ACM
The popularity of mobile devices has propelled the development of many useful location-aware applications. However, the heterogeneity of mobile devices necessitates that the softw...
138
click to vote
BIOCOMP
2006
15 years 2 months ago
2006
: A novel, non-touch, screen pointing "magic wand" interface is proposed for surgeon's use in an environment requiring simultaneous display of several patients'...
114
click to vote
EXPERT
2006
15 years 29 days ago
2006
abstraction rules that hide the complexity of systems of components. We've begun this process in the domain of sensor/actuator network applications, observing that in manyappl...
103
click to vote
ASE
2004
15 years 25 days ago
2004
er is concerned with an abstract exploration of code mobility constructs designed for use in settings where the level of granularity associated with the mobile units exhibits sign...