4799 search results - page 890 / 960 » Model Based Requirements Engineering for Embedded Software |
122
click to vote
SEKE
2007
Springer
15 years 9 months ago
2007
Springer
A number of enterprises are turning towards the Service Oriented Architecture (SOA) approach for their systems due to the number of benefits it offers. A key enabling technology ...
121
click to vote
SOCO
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. The ability to debug programs composed using aspect-oriented programming (AOP) techniques is critical to the adoption of AOP. Nevertheless, many AOP systems lack adequate...
131
click to vote
FSTTCS
2003
Springer
15 years 8 months ago
2003
Springer
We prove the Needham-Schroeder-Lowe public-key protocol secure under real, active cryptographic attacks including concurrent protocol runs. This proof is based on an abstract crypt...
108
click to vote
TSE
2010
15 years 1 months ago
2010
This paper presents an innovative model of a program’s internal behavior over a set of test inputs, called the probabilistic program dependence graph (PPDG), that facilitates pr...
161
click to vote
TCOM
2010
14 years 9 months ago
2010
Abstract--Arbitration and scheduling of multiple tags in stateof-the-art Radio Frequency Identification (RFID) systems is accomplished on the medium access control layer. Currently...