3282 search results - page 568 / 657 » Rapid Application Development Using Software Factories |
163
Voted
VSTTE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...
194
Voted
BMCBI
2007
15 years 6 months ago
2007
Background: Biomedical ontologies are being widely used to annotate biological data in a computer-accessible, consistent and well-defined manner. However, due to their size and co...
171
click to vote
CLUSTER
2006
IEEE
15 years 6 months ago
2006
IEEE
The Linux cluster considered in this paper, formed from shuttle box XPC nodes with 2 GHz Athlon processors connected by dual Gb Ethernet switches, is relatively easily constructed...
165
Voted
EUROSYS
2008
ACM
16 years 3 months ago
2008
ACM
The tuple space coordination model is one of the most interesting coordination models for open distributed systems due to its space and time decoupling and its synchronization pow...
164
Voted
CIA
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Currently, many kinds of information agents for di erent purposes exist. However, agents from di erent systems are still unable to cooperate, even if they accurately foll...