859 search results - page 77 / 172 » Explaining Synthesized Software |
EON
2008
13 years 11 months ago
2008
Abstract. This paper describes how semantic bridges realized in terms of rulebased ontology mappings can be incorporated into BPEL processes. The approach is explained by applying ...
BSDCON
2003
13 years 11 months ago
2003
NetBSD has a cross build infrastructure which allows cross-building of an entire NetBSD release including bootable distribution media. The build process does not require root priv...
DGO
2003
13 years 11 months ago
2003
Software for encrypting email messages has been widely available for more than 15 years, but the emailusing public has failed to adopt secure messaging. This failure can be explai...
AAAI
2000
13 years 11 months ago
2000
The authors of this paper were tasked to create an automated campus-wide timetabling system, for both course and examination timetable scheduling, for the National University of S...
ENTCS
2008
13 years 10 months ago
2008
This paper presents an approach which supports verification and model-based adaptation of software compod services implemented using Windows Workflow Foundation (WF). First, we pr...