2226 search results - page 372 / 446 » Pdk: The System and Its Language |
179
click to vote
COMPUTER
2002
15 years 6 months ago
2002
rs use models or abstractions that hide low-level implementation details. Various kinds of representations such as data models, state-transition models, and dataflow models can hel...
160
click to vote
CIKM
2010
Springer
15 years 5 months ago
2010
Springer
Scientists depend on literature search to find prior work that is relevant to their research ideas. We introduce a retrieval model for literature search that incorporates a wide ...
196
click to vote
LICS
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract—Polarized logic is the logic of values and continuations, and their interaction through continuation-passing style. The main limitations of this logic are the limitation...
225
click to vote
ACSAC
2010
IEEE
15 years 4 months ago
2010
IEEE
The JavaScript language is a core component of active and dynamic web content in the Internet today. Besides its great success in enhancing web applications, however, JavaScript p...
175
click to vote
OOPSLA
2010
Springer
15 years 4 months ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...