3951 search results - page 357 / 791 » Automatic amortized analysis |
163
click to vote
GECCO
2007
Springer
16 years 27 days ago
2007
Springer
Some auxiliary systems of next generation naval ships will utilize distributed automatic control. Such distributed control systems will use interconnected sensors, actuators, cont...
192
click to vote
ICWE
2007
Springer
16 years 26 days ago
2007
Springer
: In this work we report our experience in applying model checking techniques to the analysis of static and dynamic properties of Web application models. We propose a mix of tools ...
191
click to vote
ICIP
2006
IEEE
16 years 23 days ago
2006
IEEE
Cued Speech is a specific visual coding that complements oral language lip-reading, by adding static hand gestures (a static gesture can be presented on a single photograph as it ...
165
click to vote
ICSM
2006
IEEE
16 years 23 days ago
2006
IEEE
An approach to automatically identify the stereotypes of all the methods in an entire system is presented. A taxonomy for object-oriented class method stereotypes is given that un...
170
click to vote
ADBIS
2006
Springer
16 years 21 days ago
2006
Springer
The XSLT language is used to describe transformations of XML documents into other formats. The transformed XML documents conform to output schemas of the used XSLT stylesheet. Outp...