4917 search results - page 373 / 984 » Software Engineering is Not Computer Science |
149
click to vote
MIDDLEWARE
2005
Springer
15 years 9 months ago
2005
Springer
Sensor-based services propose to gather, manage, analyze, access and react to sensor data. These services are distributed over heterogeneous platforms. The complexity of the imple...
139
click to vote
IIWAS
2008
15 years 5 months ago
2008
In a service-oriented architecture, systems communicate by exchanging messages. In this work, we propose a formal model based on OCL-constrained UML Class diagrams and a methodolo...
152
click to vote
CEAS
2006
Springer
15 years 7 months ago
2006
Springer
The University of Calgary is attacking the problems of spam and spyware from the angle of education. "Spam and Spyware" is a computer science course offered at both the ...
127
click to vote
ACSC
2006
IEEE
15 years 10 months ago
2006
IEEE
Pencil-and-paper exercises in public-key cryptography are important in learning the subject. It is desirable that a student doing such an exercise does not get the right answer by...
116
click to vote
SPIN
2005
Springer
15 years 9 months ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...