Sciweavers

298 search results - page 19 / 60
» An Analysis of Exponentiation Based on Formal Languages
Sort
View
FLAIRS
2006
13 years 9 months ago
Multi-Dimensional Dependency Grammar as Multigraph Description
Extensible Dependency Grammar (XDG) is new, modular grammar formalism for natural language. An XDG analysis is a multi-dimensional dependency graph, where each dimension represent...
Ralph Debusmann, Gert Smolka
GLOBECOM
2008
IEEE
13 years 8 months ago
Security Rules Specification and Analysis Based on Passive Testing
Security is a critical issue in dynamic and open distributed environments such as network-based services or wireless networks. To ensure that a certain level of security is maintai...
Wissam Mallouli, Fayçal Bessayah, Ana R. Ca...
CAISE
2005
Springer
14 years 1 months ago
A language for modeling enterprise contextual ontologies
To achieve inter-enterprise software interoperability, the semantics of interchanged information by using electronic business documents, has to be explicitly modeled. A common appr...
María Laura Caliusco, César Maidana,...
CONCUR
2009
Springer
14 years 2 months ago
Query-Based Model Checking of Ad Hoc Network Protocols
Abstract. A prominent source of complexity in the verification of ad hoc network (AHN) protocols is the fact that the number of network topologies grows exponentially with the squ...
Anu Singh, C. R. Ramakrishnan, Scott A. Smolka
ADBIS
2007
Springer
130views Database» more  ADBIS 2007»
13 years 9 months ago
Graphical Querying of Multidimensional Databases
This paper provides an answer-oriented multidimensional analysis environment. The approach is based on a conceptual point of view. We define a conceptual model that represents data...
Franck Ravat, Olivier Teste, Ronan Tournier, Gille...