1884 search results - page 285 / 377 » Abstraction from Counters: An Application on Real-Time Syste... |
CLUSTER
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract—Message progression schemes that enable communication and computation to be overlapped have the potential to improve the performance of parallel applications. With curre...
CALCO
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. We present a coalgebraic semantics for reasoning about information update in multi-agent systems. The novelty is that we have one structure for both states and actions an...
104
click to vote
FMCO
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. The Unified Modeling Language (UML) favors the construction of models composed of several submodels, modeling the system comunder development at different levels of abs...
APVIS
2008
14 years 11 months ago
2008
Volume rendering of multiple intersecting volumetric objects is a difficult visualization task, especially if different rendering styles need to be applied to the components, in o...
117
click to vote
BRAIN
2010
Springer
14 years 11 months ago
2010
Springer
Cognitive informatics studies the natural intelligence and the brain from a theoretical and a computational approach, which rigorously explains the ms of the brain by a fundamental...