799 search results - page 15 / 160 » Refinement and Separation Contexts |
IEEEARES
2010
IEEE
14 years 28 days ago
2010
IEEE
Almost every company needs to process invoices to either claim money from their customers or to pay for products or services. Although companies are allowed to electronically proce...
DLOG
2008
13 years 11 months ago
2008
We propose an approach for extending domain knowledge represented in DL ontology by using knowledge extraction methods on ontology assertions. Concept and role assertions are extra...
ICASSP
2009
IEEE
14 years 3 months ago
2009
IEEE
The problem of transmit beamforming for single-group multicasting is considered, where the objective is to transmit common information to a (large) number of users. The transmitte...
POPL
2007
ACM
14 years 9 months ago
2007
ACM
Separation Logic, Ambient Logic and Context Logic are based on a similar style of reasoning about structured data. They each consist of a structural (separating) composition for r...
ICFEM
2010
Springer
13 years 6 months ago
2010
Springer
Designing concurrent or distributed systems with complex architectures while preserving a set of high-level requirements through all design steps is not a trivial task. Building up...