1274 search results - page 88 / 255 » Educating reflective systems developers |
136
Voted
POLICY
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. We address the problem of Quality of Service (QoS) requirements for multimedia applications (e.g., distance education, telemedicine, electronic commerce). These applicati...
129
Voted
ICPPW
2000
IEEE
15 years 8 months ago
2000
IEEE
Abstract. We address the problem of Quality of Service (QoS) requirements for multimedia applications (e.g., distance education, telemedicine, electronic commerce). These applicati...
164
Voted
IADIS
2003
15 years 5 months ago
2003
Distance Education Course (DEC) has been becoming more and more popular in many universities with the fast development of the Internet technology. The communication between the te...
127
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
We describe an extension to the TLA+ specification language with constructs for writing proofs and a proof environment, called the Proof Manager (PM), to checks those proofs. The ...
122
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
In a previous work, the first author extended to higher-order rewriting and dependent types the use of size annotations in types, a termination proof technique called type or size ...