3994 search results - page 201 / 799 » A Linear Logical Framework |
158
click to vote
ADL
1998
Springer
15 years 9 months ago
1998
Springer
This paper introduces the MREF framework for representing and correlating information at a higher semantic level than is possible with Web-based information systems today. The rol...
174
click to vote
RTSS
2002
IEEE
15 years 9 months ago
2002
IEEE
In addition to real-time requirements, the program code size is a critical design factor for real-time embedded systems. To take advantage of the code size vs. execution time trad...
168
click to vote
PE
2010
Springer
14 years 11 months ago
2010
Springer
We introduce a new framework supporting the bottleneck analysis of closed, multiclass BCMP queueing networks in the limiting regime where the number of jobs proportionally grows t...
137
click to vote
IOR
2006
15 years 4 months ago
2006
Mixed-Integer Programs (MIP's) involving logical implications modelled through big-M coefficients, are notoriously among the hardest to solve. In this paper we propose and an...
213
click to vote
VLDB
2007
ACM
16 years 4 months ago
2007
ACM
Regression testing is an important software maintenance activity to ensure the integrity of a software after modification. However, most methods and tools developed for software te...