1521 search results - page 105 / 305 » On Sampled Semantics of Timed Systems |
127
click to vote
ICC
2007
IEEE
15 years 4 months ago
2007
IEEE
—This paper addresses context issues in pervasive mobile computing and presents a semantic context model to support location based cooperative mobile applications. In this paper,...
JUCS
2010
14 years 4 months ago
2010
Abstract: Model-Driven Architecture (MDA) presents a set of layered models to separate design concerns from platform concerns. The model executability for each model element is sti...
HOTOS
2007
IEEE
15 years 1 months ago
2007
IEEE
It is time for us to focus on sound analyses for our critical systems software--that is, we must focus on analyses that ensure the absence of defects of particular known types, ra...
FPL
2008
Springer
14 years 11 months ago
2008
Springer
This paper presents the design and implementation of BORPH's kernel file system layer that provides FPGA processes direct access to the general file system. Using a semantics...
FUIN
2006
14 years 10 months ago
2006
We present a model and a core programming language appropriate for modeling and programming interactive computing systems. The model consists of rv-systems (interactive systems wit...