2030 search results - page 151 / 406 » The Need for Customizable Operating Systems |
119
click to vote
VMV
2008
15 years 6 months ago
2008
In computer graphics, procedural methods and Lsystems are common approaches to model complex botanical trees. In contrast to previous tree modeling systems, we propose linking rul...
173
click to vote
AMAST
2010
Springer
15 years 1 days ago
2010
Springer
Abstract. We develop an algebraic modal logic that combines epistemic and dynamic modalities with a view to modelling information acquisition (learning) by automated agents in a ch...
164
Voted
TCS
2010
14 years 11 months ago
2010
The incremental approach to modular monadic semantics constructs complex monads by using monad transformers to add computational features to a preexisting monad. A complication of...
152
click to vote
PPOPP
2006
ACM
15 years 11 months ago
2006
ACM
Recently there has been renewed interest in building reliable servers that support continuous application operation. Besides maintaining system state consistent after a failure, o...
122
Voted
ASM
2000
ASM
15 years 9 months ago
2000
ASM
ASMs have been used at Siemens Corporate Technology to design a component in a software package called FALKO. Main purpose of FALKO is the construction and validation of timetables...