1164 search results - page 196 / 233 » Using CBR for Semantic Analysis of Software Specifications |
IDTRUST
2010
ACM
14 years 3 months ago
2010
ACM
Natural-language policies found in X.509 PKI describe an organization’s stated policy as a set of requirements for trust. The widespread use of X.509 underscores the importance ...
AOSD
2009
ACM
14 years 3 months ago
2009
ACM
Dynamic deployment of aspects brings greater flexibility and reuse potential, but requires proper means for scoping aspects. Scoping issues are particularly crucial in a distribu...
EMSOFT
2007
Springer
14 years 3 months ago
2007
Springer
This paper proposes a scheduling strategy and an automatic scheduling flow that enable the simultaneous execution of multiple hard-real-time dataflow jobs. Each job has its own ...
AMAST
2006
Springer
14 years 22 days ago
2006
Springer
We propose two characterizations of complexity classes by means of programming languages. The first concerns Logspace while the second leads to Ptime. This latter characterization ...
EUROSPI
2008
Springer
13 years 10 months ago
2008
Springer
Pre-development in the automotive sector is informally organized to support the engineers trying out new ideas and generally being creative. If feasibility studies reveal system�...