2123 search results - page 315 / 425 » Composition of Cyber-Physical Systems |
87
Voted
ENTCS
2007
15 years 1 months ago
2007
A major development in qualitative model checking was the jump to verifying properties of source code directly, rather than requiring a separately specified model. We describe an...
100
click to vote
KES
2006
Springer
15 years 29 days ago
2006
Springer
This paper proposes an English learning support tool which provides users with divergent information to find the right words and expressions. In contrast to a number of software to...
JAPLL
2007
15 years 28 days ago
2007
We investigate the notion of an execution architecture in the setting of the program algebra PGA, and distinguish two sorts of these: analytic architectures, designed for the purp...
PAMI
1998
15 years 20 days ago
1998
—Analysis and interpretation of an image which was acquired by a nonideal imaging system is the key problem in many application areas. The observed image is usually corrupted by ...
113
Voted
VLDB
2002
ACM
15 years 20 days ago
2002
ACM
Automatic tuning has been an elusive goal for database technology for a long time and is becoming a pressing issue for modern E-services. This paper reviews and assesses the advan...