4460 search results - page 237 / 892 » Formal methods for interactive systems |
158
click to vote
ENTCS
2006
15 years 5 months ago
2006
Component based development is a promising approach for embedded systems. Typical for embedded software is the presence of resource constraints in multiple dimensions. An essentia...
170
click to vote
IFM
2007
Springer
15 years 11 months ago
2007
Springer
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
219
click to vote
WWW
2003
ACM
16 years 5 months ago
2003
ACM
More and more resources are becoming available on the Web, and there is a growing need for infrastructures that, based on advertised descriptions, are able to semantically match d...
146
Voted
VISUALIZATION
1997
IEEE
15 years 9 months ago
1997
IEEE
In recent years scientific visualization has been driven by the need to visualize high-dimensional data sets within high-dimensional spaces. However most visualization methods ar...
146
Voted
JNW
2007
15 years 4 months ago
2007
— Wireless sensor networks offer the potential to significantly improve the performance of pursuers in pursuit-evasion games. In this paper, we study several sensor network syst...