2588 search results - page 363 / 518 » Engineering Systems Which Generate Emergent Functionalities |
117
click to vote
TACAS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The methods of Invisible Invariants and Invisible Ranking were developed originally in order to verify temporal properties of parameterized systems in a fully automatic m...
113
click to vote
SIGPLAN
1998
15 years 3 months ago
1998
A high performance implementation of C++ exception handling is crucial, because exception handling overhead is distributed across all code. The commonly-used table-driven approach...
155
click to vote
CODES
2008
IEEE
15 years 6 months ago
2008
IEEE
Synchronous languages like Esterel have been widely adopted for designing reactive systems in safety-critical domains such as avionics. Specifications written in Esterel are based...
113
click to vote
CHI
2004
ACM
16 years 4 months ago
2004
ACM
Although engineering models of user behavior have enjoyed a rich history in HCI, they have yet to have a widespread impact due to the complexities of the modeling process. In this...
147
click to vote
IUI
2009
ACM
15 years 9 months ago
2009
ACM
Getting synthetic faces to display natural facial expressions is essential to enhance the interaction between human users and virtual characters. Yet traditional facial control te...