7529 search results - page 424 / 1506 » The Modula-3 Type System |
190
click to vote
COMPSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we describe a framework for the computeraided evolution of the designs of object-oriented software systems. Evolution mechanisms are software structures that prepar...
200
Voted
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
Modulation forensics is to detect the modulation type in wireless communications without any prior information. It nds both military and civilian applications such as surveillance...
200
Voted
LFCS
2007
Springer
16 years 1 months ago
2007
Springer
We introduce a natural deduction formulation for the Logic of Proofs, a refinement of modal logic S4 in which the assertion PA is replaced by [[s]]A whose intended reading is “s...
173
click to vote
HICSS
2006
IEEE
16 years 27 days ago
2006
IEEE
Problems such as price volatility have been observed in electric power markets. Demand-side participation is often offered as a potential solution by promising to increase market ...
201
Voted
HICSS
2005
IEEE
16 years 14 days ago
2005
IEEE
This paper examines the learning behavior of online students in an asynchronous learning environment. We employ the theoretical lens of an online community of inquiry, to understa...