5550 search results - page 226 / 1110 » Different Approaches to Proof Systems |
144
click to vote
WIKIS
2005
ACM
16 years 4 days ago
2005
ACM
Wikis are often implemented using string-based approaches to parse and generate their pages. While such approaches work well for simple wikis, they hamper the customization and ad...
141
click to vote
AC
1999
Springer
15 years 11 months ago
1999
Springer
The FlexiNet Platform is a Java middleware platform that features a component based ‘white-box’ approach with strong emphasis placed on reflection and introspection at all lev...
195
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
In this paper we study the partitioning approach for multiprocessor real-time scheduling. This approach seems to be the easiest since, once the partitioning of the task set has be...
167
click to vote
ICSE
2005
IEEE-ACM
16 years 2 days ago
2005
IEEE-ACM
Although attractive, CBD has not been widely adopted in domains of embedded systems. The main reason is inability of these technologies to cope with the important concerns of embe...
187
click to vote
IJKSR
2011
14 years 10 months ago
2011
Learning management systems are routinely used for presenting, solving and grading exercises with large classes. However, teachers are constrained to use questions with pre-defined...