561 search results - page 80 / 113 » Research in Software Engineering: Paradigms and Methods |
ICSOC
2004
Springer
14 years 1 months ago
2004
Springer
Currently, service-oriented computing is mainly technology-driven. Most developments focus on the technology that enables enterprises to describe, publish and compose application ...
ICSE
2001
IEEE-ACM
14 years 4 days ago
2001
IEEE-ACM
Despite the advantages that object technology can provide to the software development community and its customers, the fundamental problems associated with identifying objects, th...
COMPSAC
2010
IEEE
13 years 5 months ago
2010
IEEE
An important goal of automatic testing techniques, including random testing is to achieve high code coverage with a minimum set of test cases. To meet this goal, random testing res...
ASE
2008
13 years 7 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
ICSE
2005
IEEE-ACM
14 years 7 months ago
2005
IEEE-ACM
Sensitive data are increasingly available on-line through the Web and other distributed protocols. This heightens the need to carefully control access to data. Control means not o...