Sciweavers

859 search results - page 154 / 172
» Behaviour Analysis of Distributed Systems Using the Tracta A...
Sort
View
CIKM
2005
Springer
15 years 8 months ago
Structured queries in XML retrieval
Document-centric XML is a mixture of text and structure. With the increased availability of document-centric XML content comes a need for query facilities in which both structural...
Jaap Kamps, Maarten Marx, Maarten de Rijke, Bö...
115
Voted
CAV
2009
Springer
133views Hardware» more  CAV 2009»
16 years 3 months ago
Cardinality Abstraction for Declarative Networking Applications
ity Abstraction for Declarative Networking Applications Juan A. Navarro P?erez, Andrey Rybalchenko, and Atul Singh Max Planck Institute for Software Systems (MPI-SWS) Declarative N...
Andrey Rybalchenko, Atul Singh, Juan Antonio Navar...
TLDI
2005
ACM
102views Formal Methods» more  TLDI 2005»
15 years 8 months ago
An open and shut typecase
Two different ways of defining ad-hoc polymorphic operations commonly occur in programming languages. With the first form polymorphic operations are defined inductively on the...
Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie...
109
Voted
EDOC
2008
IEEE
15 years 9 months ago
EA4UP: An Enterprise Architecture-Assisted Telecom Service Development Method
The cost of a telecom service development is correlated to the discontinuity and the complexity of the process. To solve this problem, we propose a method dedicated to telecom ser...
Jacques Simonin, Francis Alizon, Jean-Pierre Desch...
AIIA
2007
Springer
15 years 8 months ago
Evolving Complex Neural Networks
Abstract. Complex networks like the scale-free model proposed by BarabasiAlbert are observed in many biological systems and the application of this topology to artificial neural ne...
Mauro Annunziato, Ilaria Bertini, Matteo De Felice...