Sciweavers

3943 search results - page 174 / 789
» Architecture-Level Requirements Specification
Sort
View
VLDB
1992
ACM
122views Database» more  VLDB 1992»
15 years 10 months ago
Using Flexible Transactions to Support Multi-System Telecommunication Applications
Service order provisioning is an important telecommunication application that automates the process of providing telephone services in response to the customer requests. It is an ...
Mansoor Ansari, Linda Ness, Marek Rusinkiewicz, Am...
COLT
2006
Springer
15 years 10 months ago
Ranking with a P-Norm Push
We are interested in supervised ranking with the following twist: our goal is to design algorithms that perform especially well near the top of the ranked list, and are only requir...
Cynthia Rudin
COORDINATION
2006
Springer
15 years 10 months ago
Automated Evaluation of Coordination Approaches
How to coordinate the processes in a complex component-based software system is a nontrivial issue. Many different coordination approaches exist, each with its own specific advanta...
Tibor Bosse, Mark Hoogendoorn, Jan Treur
ESWS
2006
Springer
15 years 10 months ago
Winnowing Ontologies Based on Application Use
The requirements of specific applications and services are often over estimated when ontologies are designed and built. This sometimes results in many ontologies being too large fo...
Harith Alani, Stephen Harris, Ben O'Neil
SAC
2000
ACM
15 years 10 months ago
An Approach for Modeling the Name Lookup Problem in the C++ Programming Language
Abstract. Formal grammars are well established for specifying the syntax of programming languages. However, the formal specification of programming language semantics has proven mo...
James F. Power, Brian A. Malloy