5550 search results - page 759 / 1110 » Different Approaches to Proof Systems |
184
click to vote
BIB
2007
15 years 7 months ago
2007
Mathematical modelling is increasingly used to get insights into the functioning of complex biological networks. In this context, Petri nets (PNs) have recently emerged as a promi...
164
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
: Assessing cognitive load on web search is useful for characterizing search system features and search tasks with respect to their demands on the searcher's mental effort. It...
160
click to vote
CLEIEJ
2006
15 years 7 months ago
2006
Currently the concept of Software Factories (SF), where reuse plays a leading role, is being adopted. Due to the different approaches in this area, and although SF concept is not ...
166
click to vote
DPD
2006
15 years 7 months ago
2006
Transient Web service provisioning implies a variety of different requirements that are hard to meet in traditional Web service environments. Currently, Web service brokerage focus...
180
click to vote
IJOE
2006
15 years 7 months ago
2006
Educational games may improve learning by taking advantage of the new knowledge and skills of today's students obtained from extensive use of interactive games. This paper des...