Sciweavers

17082 search results - page 3371 / 3417
» Abstractions for Mobile Computation
Sort
View
SE
2007
13 years 9 months ago
Saros: Eine Eclipse-Erweiterung zur verteilten Paarprogrammierung
Abstract: Die im folgenden vorgestellte Diplomarbeit legt den theoretischen Rahmen f¨ur die verteilte Paarprogrammierung als Weiterentwicklung der klassischen Paarprogrammierung u...
Riad Djemili, Christopher Oezbek, Stephan Salinger
WOTUG
2008
13 years 9 months ago
Representation and Implementation of CSP and VCR Traces
Abstract. Communicating Sequential Processes (CSP) was developed around a formal algebra of processes and a semantics based on traces (and failures and divergences). A trace is a r...
Neil C. C. Brown, Marc L. Smith
BSDCON
2003
13 years 9 months ago
ULE: A Modern Scheduler for FreeBSD
The existing thread scheduler in FreeBSD was well suited towards the computing environment that it was developed in. As the priorities and hardware targets of the project have cha...
Jeff Roberson
DAGSTUHL
2001
13 years 9 months ago
Visualization for the Mind's Eye
Software visualization has been almost exclusively tackled from the visual point of view; this means visualization occurs exclusively through the visual channel. This approach has ...
Nelson A. Baloian, Wolfram Luther
DLOG
2003
13 years 9 months ago
Conceptual Modeling with Description Logics
The purpose of the chapter is to help someone familiar with DLs to understand the issues involved in developing an ontology for some universe of discourse, which is to become a co...
Alexander Borgida, Ronald J. Brachman
« Prev « First page 3371 / 3417 Last » Next »