6171 search results - page 587 / 1235 » The FrameNet Data and Software |
169
click to vote
SCAM
2007
IEEE
16 years 1 months ago
2007
IEEE
We present an automated program analysis, called Reach, to compute program inputs that cause evaluation of explicitly-marked target expressions. Reach has a range of applications ...
192
click to vote
ICSEA
2007
IEEE
16 years 1 months ago
2007
IEEE
The actual standards for service authoring, composition and development are not easy to port and to apply for next generation mobile applications. This paper describes some tools ...
199
click to vote
ATC
2007
Springer
16 years 1 months ago
2007
Springer
We present a system architecture for trusted transactions in highly sensitive environments. This architecture takes advantage of techniques provided by the Trusted Computing Group ...
216
click to vote
ATVA
2007
Springer
16 years 1 months ago
2007
Springer
Automated software verification has made great progress recently, and a key enabler of this progress has been the advances in efficient, automated decision procedures suitable fo...
181
click to vote
ER
2007
Springer
16 years 1 months ago
2007
Springer
An e-contract is a contract modeled, specified, executed, controlled and monitored by a software system. Econtract evolves over a period of time and there are many scenarios of ch...