2226 search results - page 187 / 446 » Pdk: The System and Its Language |
164
click to vote
TLDI
2009
ACM
16 years 3 months ago
2009
ACM
Type-and-effect systems are a natural approach for statically reasoning about a program’s execution. They have been used to track a variety of computational effects, for example...
229
click to vote
ICCE
2007
15 years 8 months ago
2007
: Problem-based learning (PBL) is becoming increasingly popular in medical education as a means of equipping students with the required clinical reasoning skills. However, faculty ...
169
click to vote
FASE
2005
Springer
16 years 20 hour ago
2005
Springer
In situations in which developers are not familiar with a system or its documentation is inadequate, the system’s source code becomes the only reliable source of information. Unf...
164
click to vote
LREC
2008
15 years 8 months ago
2008
This paper reports on the creation of the multimodal NIMITEK corpus of affected behavior in human-machine interaction and its role in the development of the NIMITEK prototype syst...
169
click to vote
ICEBE
2005
IEEE
16 years 3 days ago
2005
IEEE
Service-Oriented Computing (SOC) and Web Services (WS) provide a flexible computing platform for electronic business and commerce. Introducing policy-based computing to service-or...