1926 search results - page 345 / 386 » Modeling and Model Checking Software Product Lines |
102
click to vote
DEBU
2008
14 years 12 months ago
2008
Data-driven Web services, viewed broadly as interactive systems available on the Web for users and programs, provide the backbone for increasingly complex Web applications. While ...
104
click to vote
ICSE
2008
IEEE-ACM
16 years 17 days ago
2008
IEEE-ACM
WS-BPEL applications are a kind of service-oriented application. They use XPath extensively to integrate loosely-coupled workflow steps. However, XPath may extract wrong data from...
ACSAC
2007
IEEE
15 years 6 months ago
2007
IEEE
Malicious code is an increasingly important problem that threatens the security of computer systems. The traditional line of defense against malware is composed of malware detecto...
133
click to vote
IFIP
2001
Springer
15 years 4 months ago
2001
Springer
— Semi-formal verification based on symbolic simulation offers a good compromise between formal model checking and numerical simulation. The generation of functional test vector...
DEXA
1999
Springer
15 years 4 months ago
1999
Springer
: In an extensible database system, evaluation of a query plan is done in cooperation between a collection of operator implementation functions and a component of the DBMS that we ...