4418 search results - page 589 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
237
click to vote
ICSE
2007
IEEE-ACM
16 years 25 days ago
2007
IEEE-ACM
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...
165
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
Legal regulations and industry standards require organizations to measure and maintain a specified IT-security level. Although several IT-security metrics approaches have been de...
202
click to vote
INFOCOM
1999
IEEE
15 years 11 months ago
1999
IEEE
With the proliferation of high-speed networks and networked services, provisioning differentiated services to a diverse user base with heterogeneous QoS requirements has become an ...
151
click to vote
HPCS
2007
IEEE
16 years 1 months ago
2007
IEEE
One of the challenges in the large-scale simulations required for many molecular systems (such as those of biological interested) is the recording, monitoring and visualization of...
160
click to vote
WECWIS
2006
IEEE
16 years 20 days ago
2006
IEEE
In this paper we present a novel approach and a system for automated selection of building blocks, by exploiting business processes semantics. The selection process is based on a ...