6455 search results - page 153 / 1291 » Research problems |
163
click to vote
BIRTHDAY
2005
Springer
15 years 12 months ago
2005
Springer
This paper is a guided tour through the theory of fibring as a general mechanism for combining logics. We present the main ideas, constructions and difficulties of fibring, from ...
164
click to vote
CADE
2009
Springer
16 years 7 months ago
2009
Springer
The Thousands of Problems for Theorem Provers (TPTP) problem library is the basis of a well established infrastructure supporting research, development, and deployment of first-ord...
146
click to vote
ICSE
1994
IEEE-ACM
15 years 10 months ago
1994
IEEE-ACM
act Research issues related to requirements modeling are introduced and discussed through a review of the requirements modeling language RML, its peers and its successors from the ...
159
click to vote
CCR
2008
15 years 6 months ago
2008
Wireless network researchers are hungry for data about how real users, applications, and devices use real networks under real network conditions. CRAWDAD, the Community Resource f...
127
click to vote
EOR
2006
15 years 6 months ago
2006
In this paper we continue the study of the unified dynamics resulting from the theory of projected dynamical systems and evolutionary variational inequalities, initiated by Cojocar...