7820 search results - page 27 / 1564 » Formalization of Time and Space |
121
click to vote
IFM
1999
Springer
15 years 8 months ago
1999
Springer
Embedded real-time systems consist of a digital controller interacting with its physical environment. Developing such systems therefore involves specifying and reasoning about bot...
140
click to vote
TAL
2010
Springer
14 years 11 months ago
2010
Springer
This paper provides a linguistic semantic analysis of time and aspect in natural languages. On the basis of topological concepts, notions are introduced like the basic aspectual op...
158
click to vote
ICFEM
1997
Springer
15 years 8 months ago
1997
Springer
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
132
click to vote
EUROMICRO
2009
IEEE
15 years 8 months ago
2009
IEEE
ProCom is a new component model for real-time and embedded systems, targeting the domains of vehicular and telecommunication systems. In this paper, we describe how the architectur...
150
click to vote
SNPD
2008
15 years 5 months ago
2008
With the increasing number of medical devices and of accidents resulting from them being used in isolation in a hectic operating room, there is a trend towards integrating such de...