5550 search results - page 957 / 1110 » Different Approaches to Proof Systems |
185
click to vote
DILS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Transparent information integration across distributed and heterogeneous data sources and computational tools is a prime concern for bioinformatics. Recently, there have ...
196
click to vote
MIDDLEWARE
2004
Springer
15 years 12 months ago
2004
Springer
Software frequently needs to adapt its behavior at run time to respond to changes in its execution environment. Different software components may use different approaches to adap...
224
click to vote
SPIN
2004
Springer
15 years 12 months ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
157
click to vote
WER
2004
Springer
15 years 12 months ago
2004
Springer
Understanding how a user interacts with a system is important if the goal is to deliver a product that meets the user's needs. Use cases constitute a primary source of require...
160
click to vote
CGO
2003
IEEE
15 years 12 months ago
2003
IEEE
Software dynamic translation (SDT) is a technology that permits the modification of an executing program’s instructions. In recent years, SDT has received increased attention, f...