2015 search results - page 7 / 403 » Hidden Software Capabilities |
195
Voted
ICSM
2007
IEEE
16 years 20 days ago
2007
IEEE
In this paper, we introduce Static Execute After (SEA) relationship among program components and present an efficient analysis algorithm. Our case studies show that SEA may appro...
161
click to vote
EUROMICRO
2006
IEEE
16 years 13 days ago
2006
IEEE
In this paper we present a comprehensive set of mechanisms that restore to the site administrator the capacity of enforcing Traffic Engineering (TE) policies in a multiaddressed I...
188
Voted
ACL2
2006
ACM
16 years 10 days ago
2006
ACM
We have implemented parallelism primitives that permit an ACL2 programmer to parallelize execution of ACL2 functions. We (1) introduce logical definitions for these primitives, (...
175
Voted
JSS
2006
15 years 6 months ago
2006
During the creation of a software architecture, the architects and stakeholders take a lot of decisions. Many of these decisions can be directly related to functional or quality r...