1965 search results - page 220 / 393 » On the analysis of interacting pushdown systems |
ICSE
2007
IEEE-ACM
14 years 10 months ago
2007
IEEE-ACM
We introduce SoftGUESS, a code clone exploration system. SoftGUESS is built on the more general GUESS system which provides users with a mechanism to interactively explore graph s...
RTSS
1998
IEEE
14 years 2 months ago
1998
IEEE
: The Time-Triggered (TT) model of computation is a model for the representation and analysis of the design of large hard real-time systems. Central to this model is the concept of...
EICS
2009
ACM
14 years 2 months ago
2009
ACM
Ubiquitous computing poses new usability challenges that cut across design and development. We are particularly interested in "spaces" enhanced with sensors, public disp...
BMCBI
2010
13 years 10 months ago
2010
Background: The development of high-throughput laboratory techniques created a demand for computer-assisted result analysis tools. Many of these techniques return lists of genes w...
SEMWEB
2009
Springer
14 years 4 months ago
2009
Springer
Spreadsheet tools are often used in business and private scenarios in order to collect and store data, and to explore and analyze these data by executing functions and aggregation...