2364 search results - page 222 / 473 » An Engine for Computing Well-Founded Models |
206
click to vote
GG
2010
Springer
15 years 6 months ago
2010
Springer
Model-driven development (MDD) has become a promising trend in software engineering. The model-driven development of highly complex software systems may lead to large models which ...
136
click to vote
WIOPT
2010
IEEE
15 years 3 months ago
2010
IEEE
—The paper presents a methodology that combines statistical learning with constraint optimization by locally optimizing Radio Resource Management (RRM) or system parameters of po...
127
click to vote
ISORC
2008
IEEE
15 years 11 months ago
2008
IEEE
The Real-time Specification for Java extends the Java platform to support real-time processing and introduces a region-based memory model, called scoped memory, which side-steps ...
148
click to vote
SEMWEB
2007
Springer
15 years 11 months ago
2007
Springer
We present the architecture of an end-to-end semantic search engine that uses a graph data model to enable interactive query answering over structured and interlinked data collecte...
139
click to vote
FOSSACS
2005
Springer
15 years 10 months ago
2005
Springer
A timed extension of π-calculus with a transaction construct – the calculus webπ – is studied. The underlying model of webπ relies on networks of processes; time proceeds as...