623 search results - page 77 / 125 » Relational Parametricity for Control Considered as a Computa... |
102
click to vote
SMC
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract — The natural environments that robotic applications often encounter can present difficult problems for imagebased task execution. Prior efforts have used both grayscale...
110
click to vote
RTAS
2007
IEEE
15 years 6 months ago
2007
IEEE
It is challenging to manage the performance of real-time databases (RTDBs) that are often used in data-intensive real-time applications such as agile manufacturing and target trac...
179
click to vote
SIGMOD
2008
ACM
16 years 11 months ago
2008
ACM
Virtual machine monitors are becoming popular tools for the deployment of database management systems and other enterprise software applications. In this paper, we consider a commo...
108
click to vote
SASN
2006
ACM
15 years 5 months ago
2006
ACM
Node misbehavior in wireless ad hoc networks leads to sudden unpredictable changes in network topology, resulting in fluctuation of traffic load and capacity for already existin...
DATE
2003
IEEE
15 years 5 months ago
2003
IEEE
The model-based methodology has proven to be effective for fast and low-cost development of embedded software. In the model-based development process, transforming a software stru...