Sciweavers

4695 search results - page 689 / 939
» Web data modeling for integration in data warehouses
Sort
View
JAR
2008
115views more  JAR 2008»
15 years 7 months ago
Formal Models and Analysis of Secure Multicast in Wired and Wireless Networks
The spreading of multicast technology enables the development of group communication and so dealing with digital streams becomes more and more common over the Internet. Given the f...
Roberto Gorrieri, Fabio Martinelli, Marinella Petr...
NPL
2006
85views more  NPL 2006»
15 years 7 months ago
A Neural Model for Context-dependent Sequence Learning
A novel neural network model is described that implements context-dependent learning of complex sequences. The model utilises leaky integrate-and-fire neurons to extract timing inf...
Luc Berthouze, Adriaan G. Tijsseling
EWSPT
1995
Springer
15 years 10 months ago
The Use of Roles and Measurement to Enact Project Plans in MVP-S
Software development organizations are beginning to recognize that measurement is a prerequisite for systematic process improvement, and have started to measure their products and...
Christopher M. Lott, Barbara Hoisl, H. Dieter Romb...
COMCOM
2000
126views more  COMCOM 2000»
15 years 7 months ago
Charging for packet-switched network communication - motivation and overview
Packet-switched network technology is expected to form the integration layer for future multi-service networks. The trend to integrate voice and data traffic can already be observe...
Martin Karsten, Jens Schmitt, Burkhard Stiller, La...
CADE
2007
Springer
16 years 7 months ago
Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems
Manna and Pnueli have extensively shown how a mixture of first-order logic (FOL) and discrete Linear time Temporal Logic (LTL) is sufficient to precisely state verification problem...
Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, D...