1113 search results - page 109 / 223 » Counter Systems for Data Logics |
163
Voted
ICST
2010
IEEE
15 years 3 months ago
2010
IEEE
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...
139
click to vote
ICSEA
2007
IEEE
15 years 10 months ago
2007
IEEE
—As current software systems evolve continuously, both the application and its user interface (UI) have to be adapted. However, UI code is often scattered through and entangled w...
149
click to vote
ICSOC
2004
Springer
15 years 10 months ago
2004
Springer
Over the last few years several process-based web service composition languages have emerged, such as BPEL4WS and BPML. These languages define the composition on the basis of a pr...
143
click to vote
ADBIS
2001
Springer
15 years 9 months ago
2001
Springer
Due to the rapid growth of the Web, there is an increasing need for methodologies that support the design of Web-based Information Systems (WIS). After investigating the applicatio...
127
click to vote
MICRO
1999
IEEE
15 years 8 months ago
1999
IEEE
This study compares the speed, area, and power of di erent implementations of Active Pages OCS98], an intelligent memory system which helps bridge the growing gap between processo...