2135 search results - page 177 / 427 » An Operational Semantics for JavaScript |
OSDI
2008
ACM
16 years 2 months ago
2008
ACM
Computational RFIDs (CRFIDs) provide flexible, general-purpose computation on a microcontroller via energy that is harvested and stored in capacitors rather than batteries. Our co...
120
click to vote
FUZZIEEE
2007
IEEE
15 years 8 months ago
2007
IEEE
— Fuzzy Description Logics (fuzzy DLs) have been proposed as a language to describe structured knowledge with vague concepts. It is well known that the choice of the fuzzy operat...
121
click to vote
ICWL
2007
Springer
15 years 8 months ago
2007
Springer
In this paper we propose a language-driven approach for the high-level design of web-based learning applications. In our approach we define a domainspecific language that character...
126
Voted
SEW
2006
IEEE
15 years 8 months ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...
113
click to vote
RSFDGRC
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. In this paper, we propose a logical framework for reasoning about uncertain belief fusion. The framework is a combination of multi-agent epistemic logic and possibilistic...