11797 search results - page 276 / 2360 » Recent Developments in the Experimental |
213
click to vote
NFM
2011
15 years 1 months ago
2011
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...
192
click to vote
WER
2004
Springer
16 years 1 days ago
2004
Springer
If we are to be successful in the development of the next generation of agent oriented systems we must deal with the critical issue of requirements traceability. Failure to do so w...
314
click to vote
DFG
2009
Springer
16 years 1 months ago
2009
Springer
Algorithms for route planning in transportation networks have recently undergone a rapid development, leading to methods that are up to three million times faster than Dijkstra’s...
173
click to vote
DFG
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We survey the conceptual framework and several applications of the iterative compression technique introduced in 2004 by Reed, Smith, and Vetta. This technique has proven...
149
click to vote
LPNMR
2009
Springer
16 years 1 months ago
2009
Springer
We report on recent advancements in the development of grounder Gringo for logic programs under answer set semantics. Like its relatives, DLV and Lparse, Gringo has in the meantime...