Sciweavers

1180 search results - page 83 / 236
» Total Functional Software Engineering - Overview Paper
Sort
View
EDBTW
2006
Springer
15 years 2 months ago
Event-Condition-Action Rule Languages for the Semantic Web
Abstract. The Semantic Web is based on XML and RDF as its fundamental standards for exchanging and storing information on the World Wide Web. Event-condition-action (ECA) rules are...
Alexandra Poulovassilis, George Papamarkos, Peter ...
GCSE
2000
Springer
15 years 2 months ago
Mixin-Based Programming in C++
Combinations of C++ features, like inheritance, templates, and class nesting, allow for the expression of powerful component patterns. In particular, research has demonstrated that...
Yannis Smaragdakis, Don S. Batory
ADAEUROPE
2008
Springer
15 years 1 months ago
On the Timed Automata-Based Verification of Ravenscar Systems
The Ravenscar profile for Ada enforces several restrictions on the usage of general-purpose tasking constructs, thereby facilitating most analysis tasks and in particular functiona...
Iulian Ober, Nicolas Halbwachs
WWW
2002
ACM
15 years 11 months ago
Probabilistic question answering on the web
Web-based search engines such as Google and NorthernLight return documents that are relevant to a user query, not answers to user questions. We have developed an architecture that...
Dragomir R. Radev, Weiguo Fan, Hong Qi, Harris Wu,...
EUROMICRO
2003
IEEE
15 years 4 months ago
A General Model for Component-Based Software Reliability
: The approach of aggregating components into complex software systems is maturing with the rapid development of component technology. How to analyze software reliability from syst...
Mao Xiaoguang, Deng Yongjin