2015 search results - page 7 / 403 » Hidden Software Capabilities |
ICSM
2007
IEEE
14 years 2 months 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...
EUROMICRO
2006
IEEE
14 years 1 months 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...
ACL2
2006
ACM
14 years 1 months 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, (...
UIST
2006
ACM
14 years 1 months ago
2006
ACM
JSS
2006
13 years 7 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...