2231 search results - page 104 / 447 » Alternation as a programming paradigm |
DARE
2000
15 years 1 months ago
2000
Although more and more computing is performed away from desktop computers, most programs used in handheld computers, ubiquitous computers, and augmented-reality systems in the rea...
ICFP
2005
ACM
15 years 12 months ago
2005
ACM
Applied Type System (ATS) is recently proposed as a framework for designing and formalizing (advanced) type systems in support of practical programming. In ATS, the definition of ...
IPSN
2010
Springer
15 years 6 months ago
2010
Springer
We advocate a novel programming approach we call slotted programming that not only addresses the specific hardware capabilities of sensor nodes, but also facilitates coding throu...
ECOOP
2010
Springer
15 years 4 months ago
2010
Springer
Following the scenario-based approach to programming which centered around live sequence charts (LSCs), we propose a general approach to software development in Java. A program wil...
150
click to vote
LPKR
1997
Springer
15 years 4 months ago
1997
Springer
Abstract. We study the relationship between argumentation (abduction) and disjunctive logic programming. Based on the paradigm of argumentation, an abductive semantic framework for...