3792 search results - page 394 / 759 » Techniques for Trusted Software Engineering |
196
click to vote
IAT
2006
IEEE
16 years 25 days ago
2006
IEEE
The representation of goals and the ability to reason about them play an important role in goal-oriented requirements analysis and modelling techniques, especially in agent-orient...
179
click to vote
IUI
2006
ACM
16 years 23 days ago
2006
ACM
We present an interactive multimedia interface for automatically summarizing large corpora of evaluative text (e.g. online product reviews). We rely on existing techniques for ext...
205
click to vote
ASWEC
2005
IEEE
16 years 13 days ago
2005
IEEE
Program slicing is a well-known program analysis technique that extracts the elements of a program related to a particular computation. Based on modular monadic semantics of a pro...
176
click to vote
COMPSAC
2005
IEEE
16 years 12 days ago
2005
IEEE
Automatic test data generation leads to the identification of input values on which a selected path or a selected branch is executed within a program (path-oriented vs goalorient...
155
click to vote
COMPSAC
2005
IEEE
16 years 12 days ago
2005
IEEE
This paper demonstrates our Web Service based NVersion model, WS-FTM (Web Service-Fault Tolerance Mechanism), which applies this well proven technique to the domain of Web Service...