2206 search results - page 193 / 442 » Software Engineering and Modeling Education: Problems and So... |
158
click to vote
ADAEUROPE
2008
Springer
15 years 8 months ago
2008
Springer
Standards for distribution middleware sometimes impose restrictions and often allow the implementations to decide on aspects that are fundamental to the correct and efficient behav...
175
click to vote
APSEC
2005
IEEE
16 years 3 days ago
2005
IEEE
Several kinds of call-ordering problems have been identified, all of which present subtle difficulties in ensuring the correctness of a sequential program. They include object pro...
150
click to vote
PEPM
1991
ACM
15 years 10 months ago
1991
ACM
This is a follow-on to my 1988PLDIpaper, “Control-Flow Analysis e”[9]. Iusethe methodofabstractsemanticinterpretations to explicate the control-flow analysis technique presen...
153
click to vote
FSTTCS
2008
Springer
15 years 7 months ago
2008
Springer
An average-time game is played on the infinite graph of configurations of a finite timed automaton. The two players, Min and Max, construct an infinite run of the automaton by ...
219
click to vote
CSSE
2004
IEEE
15 years 6 months ago
2004
IEEE
Abstract. Semantic Web technologies will deeply influence the further development of the Internet Economy. A major challenge is, however, to find a practical solution for trust pro...