6348 search results - page 661 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
231
click to vote
IWPC
2002
IEEE
16 years 11 days ago
2002
IEEE
A means to add explicit structure to program source code is presented. XML is used to augment source code with syntactic information from the parse tree. More importantly, comment...
200
click to vote
SCAM
2002
IEEE
16 years 10 days ago
2002
IEEE
In this paper, we first present a static analysis based on set-based framework, which estimates exception propagation paths of Java programs. We construct an exception propagatio...
197
click to vote
EMSOFT
2001
Springer
15 years 12 months ago
2001
Springer
: Run-time executives and operating system kernels for embedded systems have long relied exclusively on static priority scheduling of tasks to ensure timing constraints and other c...
187
click to vote
FOSSACS
2001
Springer
15 years 12 months ago
2001
Springer
Abstract. We study the expressiveness of the join calculus by comparison with (generalised, coloured) Petri nets and using tools from type theory. More precisely, we consider four ...
207
click to vote
TACS
2001
Springer
15 years 12 months ago
2001
Springer
We propose the πD -calculus, a process calculus that can flexibly model fine-grained control of resource access in distributed computation, with a type system that statically pr...