3792 search results - page 649 / 759 » Techniques for Trusted Software Engineering |
179
click to vote
WCRE
1995
IEEE
15 years 9 months ago
1995
IEEE
A legacy system is an operational, large-scale software system that is maintained beyond its first generation of programmers. It typically represents a massive economic investmen...
144
click to vote
AVI
2008
15 years 7 months ago
2008
The development of intelligent assistants has largely benefited from the adoption of decision-theoretic (DT) approaches that enable an agent to reason and account for the uncertai...
160
click to vote
SIGSOFT
2007
ACM
16 years 6 months ago
2007
ACM
When enacting a web service orchestration defined using the Business Process Execution Language (BPEL) we observed various safety property violations. This surprised us considerab...
134
click to vote
SIGSOFT
2005
ACM
16 years 6 months ago
2005
ACM
A fundamental part of a Computer Science degree is learning to program. Rather than starting students on a full commercial language, we favour using a dedicated "teaching lan...
150
click to vote
WWW
2004
ACM
16 years 6 months ago
2004
ACM
The understanding of Semantic Web documents is built upon ontologies that define concepts and relationships of data. Hence, the correctness of ontologies is vital. Ontology reason...