3330 search results - page 236 / 666 » software 2010 |
99
Voted
ENTCS
2010
15 years 24 days ago
2010
Component Interaction Automata provide a fitting model to capture and analyze the temporal facets of hierarchical-structured component-oriented software systems. However, the rule...
111
Voted
ENTCS
2006
15 years 22 days ago
2006
Effective formal verification tools require that robust implementations of automatic procedures for first-order logic and satisfiability modulo theories be integrated into express...
111
click to vote
ENTCS
2006
15 years 22 days ago
2006
Web Services are software services that can be advertised by providers and invoked by customers using Web technologies. This concept is currently carried further to address the co...
106
Voted
ENTCS
2006
15 years 22 days ago
2006
In the domain of embedded software systems the increasing complexity of the functionality as well as the increase in variations caused by product lines requires a modular design p...
90
Voted
ENTCS
2007
15 years 20 days ago
2007
Modern software is increasingly concurrent, timed, distributed, and therefore, non-deterministic. While it is well known that tests can be generated as LTL or CTL model checker co...