2271 search results - page 118 / 455 » Scalable Software Libraries |
128
click to vote
WETICE
2005
IEEE
15 years 8 months ago
2005
IEEE
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...
124
click to vote
KBSE
1994
IEEE
15 years 6 months ago
1994
IEEE
This paper describes a formal approach to domain-oriented software design environments, based on declarative domain theories, formal specifications, and deductive program synthesi...
120
click to vote
ISESE
2005
IEEE
15 years 8 months ago
2005
IEEE
One of the key goals of open source development is the sharing of knowledge, experience, and solutions that pertain to a software system and its problem domain. Source code clonin...
130
click to vote
SBACPAD
2003
IEEE
15 years 7 months ago
2003
IEEE
A large set of tools for network monitoring and accounting, security, traffic analysis and prediction — more broadly, for network operation and management — require direct and...
132
Voted
SOCO
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Extensible Component Platforms support the discovery, installation, starting, uninstallation of components at runtime. Since they are often targeted at mobile resource-co...