3901 search results - page 351 / 781 » software 2008 |
190
click to vote
SIGPLAN
2002
15 years 6 months ago
2002
Future Interval Logic (FIL) and its intuitive graphical representation, Graphical Interval Logic (GIL), can be used as the formal description language of model checking tools to v...
156
click to vote
TSE
2002
15 years 6 months ago
2002
We propose an approach (GQM/MEDEA) for defining measures of product attributes in software engineering. The approach is driven by the experimental goals of measurement, expressed v...
198
Voted
JSC
2010
15 years 5 months ago
2010
Narrowing is a computation implemented by some declarative programming languages. Research in the last decade has produced significant results on the theory and foundation of nar...
160
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
How to implement an IS (information system) successfully remains a problem. To address this, drawing on information processing theory, this study proposes an integrated model that...
155
click to vote
IEEESCC
2008
IEEE
16 years 1 months ago
2008
IEEE
Current web service platforms (WSPs) often perform all web services-related processing, including securitysensitive information handling, in the same protection domain. Consequent...