1522 search results - page 17 / 305 » Practical Exception Specifications |
DGO
2006
14 years 11 months ago
2006
Generally speaking, best practices in the field of interactive design are often derived from private-sector practice or purely aesthetic considerations; the specific concerns of p...
61
Voted
ENTCS
2002
14 years 9 months ago
2002
Modularity and tool support are crucial features for practical use of formal descriptions of programming languages. The combination of unrestricted context-free grammars with acti...
CISSE
2008
Springer
14 years 11 months ago
2008
Springer
: Knowledge assessment is inseparable part of current e-learning technologies. It can be used for self-assessment of students to give them feedback about their progress in a study ...
AAI
2006
14 years 9 months ago
2006
Enabling and managing coordination activities between autonomous, possibly mobile, computing entities in dynamic computing scenarios challenges traditional approaches to distribut...
109
click to vote
FAC
2008
14 years 9 months ago
2008
Abstract. Model checking of real-time systems against Duration Calculus (DC) specifications requires the translation of DC formulae into automata-based semantics. The existing algo...