30 search results - page 6 / 6 » Neutrality and Many-Valued Logics |
IEEESCC
2007
IEEE
13 years 12 months ago
2007
IEEE
UN/CEFACT’s Modeling Methodology (UMM) is a UML profile for modeling global B2B choreographies. The basic building blocks of UMM are business transactions, which describe the e...
ECOWS
2007
Springer
13 years 9 months ago
2007
Springer
Web services are self-contained, modular units of application logic which provide business functionality to other applications via Internet connections. Several models have been u...
ATAL
2008
Springer
13 years 7 months ago
2008
Springer
In this paper, we describe two mission critical applications currently deployed by Telecom Italia in the Operations Support System domains. The first one called "Network Neut...
PIMRC
2010
IEEE
13 years 3 months ago
2010
IEEE
Abstract--In this paper we describe an LTE based demonstrator of the Universal Link Layer API (ULLA) and Cognitive Resource Manager (CRM) modules that are developed in ARAGORN proj...
ISSTA
2009
ACM
14 years 3 days ago
2009
ACM
Exception analysis and points-to analysis are typically done in complete separation. Past algorithms for precise exception analysis (e.g., pairing throw clauses with catch stateme...