Sciweavers

8179 search results - page 1365 / 1636
» The PRACTIONIST Development Tool
Sort
View
PPDP
2004
Springer
15 years 12 months ago
Model checking object petri nets in prolog
Object Petri nets (OPNs) provide a natural and modular method for modelling many real-world systems. We give a structure-preserving translation of OPNs to Prolog by encoding the O...
Berndt Farwer, Michael Leuschel
PROFES
2004
Springer
15 years 12 months ago
Effort Estimation Based on Collaborative Filtering
Effort estimation methods are one of the important tools for project managers in controlling human resources of ongoing or future software projects. The estimations require histori...
Naoki Ohsugi, Masateru Tsunoda, Akito Monden, Ken-...
QOFIS
2004
Springer
15 years 12 months ago
Cross-Layer Analytical Modeling of Wireless Channels for Accurate Performance Evaluation
Abstract. An intention to adopt IP protocol for future mobile communication and subsequent extension of Internet services to the air interface calls for advanced performance modeli...
Dmitri Moltchanov, Yevgeni Koucheryavy, Jarmo Harj...
167
Voted
QOFIS
2004
Springer
15 years 12 months ago
Charging for Web Content Pre-fetching in 3G Networks
Abstract. Web pre-fetching is a technique that tries to improve the QoS perceived by a user when surfing the web. Previous studies show that the cost of an effective hit rate is qu...
David Larrabeiti, Ricardo Larrabeiti, Manuel Urue&...
SAPIR
2004
Springer
15 years 12 months ago
Software Modeling for Open Distributed Network Monitoring Systems
Abstract. As computer networks grow in size, both physically and geographically, more scalable solutions to network administration are becoming necessary. This need is amplified by...
Jacob W. Kallman, Pedrum Minaie, Jason Truppi, Ser...
« Prev « First page 1365 / 1636 Last » Next »