4255 search results - page 543 / 851 » Database: Models, Languages, Design |
189
click to vote
CAV
1997
Springer
15 years 10 months ago
1997
Springer
We demonstrate the feasibility of using the XSB tabled logic programming system as a programmable fixed-point engine for implementing efficient local model checkers. In particular,...
178
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
We introduce the Ranked Feature Fusion framework for information retrieval system design. Typical information retrieval formalisms such as the vector space model, the bestmatch mo...
158
click to vote
JOT
2006
15 years 6 months ago
2006
Model transformation has become one of the most focused research field, motivated by for instance the OMG's Model-Driven Architecture (MDA). Metamodeling is a central techniq...
192
click to vote
SOPR
2002
15 years 6 months ago
2002
Good project scheduling is an essential, but extremely hard task in software management practice. In a software project, the time needed to complete some development activity is d...
165
click to vote
FCCM
2007
IEEE
16 years 1 months ago
2007
IEEE
A new platform for reconfigurable computing has an object-based programming model, with architecture, silicon and tools designed to faithfully realize this model. The platform is ...