8874 search results - page 413 / 1775 » A New Implementation of Automath |
209
Voted
SPLC
2008
15 years 9 months ago
2008
The adoption of Domain-Specific Modeling Languages (DSMLs) for generating framework-based applications has proved to be an effective way of enforcing the correct use of frameworks...
186
click to vote
WCET
2008
15 years 9 months ago
2008
WCET analysis models for superscalar out-of-order CPUs generally need to be pessimistic in order to account for a wide range of possible dynamic behavior. CPU hardware modificatio...
196
Voted
ACSW
2006
15 years 9 months ago
2006
Today, a computer network is under constant assault from attacks. In Computer Science, NIDS are used in order to protect a computer network against these intrusions. These systems...
171
Voted
CLIMA
2004
15 years 9 months ago
2004
We discuss some features of the new logic programming language DALI for agents and multi-agent systems. In particular, we aim at illustrating the treatment of proactivity, which is...
219
Voted
CSREAEEE
2006
15 years 9 months ago
2006
: Collaborative and dynamic workflow management systems in logistic companies require strong information systems and computer support. Business processes in such industries general...