Sciweavers

2890 search results - page 118 / 578
» A Multi-agent Model to Develop Knowledge Management Systems
Sort
View
117
Voted
APSEC
2007
IEEE
15 years 8 months ago
Modeling and Learning Interaction-based Accidents for Safety-Critical Software Systems
Analyzing accidents is a vital exercise in the development of safety-critical software systems to prevent past accidents from reoccurring in the future. Current practices such as ...
Tariq Mahmood, Edmund Kazmierczak, Tim Kelly, Denn...
134
Voted
GLOBECOM
2006
IEEE
15 years 7 months ago
A Novel Prior Knowledge Based ML Channel Estimator for Coherent IR-UWB Systems
Abstract— Channel estimation and synchronization are crucial problems in coherent Ultra wideband (UWB) systems. We develop a new channel estimation scheme that can further improv...
Lei Zhou, Shidong Zhou, Yan Yao
ZUM
2005
Springer
136views Formal Methods» more  ZUM 2005»
15 years 7 months ago
Some Guidelines for Formal Development of Web-Based Applications in B-Method
Abstract. Web-based applications are the most common form of distributed systems that have gained a lot of attention in the past ten years. Today many of us are relying on scores o...
Abdolbaghi Rezazadeh, Michael J. Butler
WEBI
2001
Springer
15 years 6 months ago
Knowledge-Based Validation, Aggregation, and Visualization of Meta-data: Analyzing a Web-Based Information System
As meta-data become of ever more importance to the Web, we will need to start managing such meta-data. We argue that there is a strong need for meta-data validation and aggregation...
Heiner Stuckenschmidt, Frank van Harmelen
168
Voted
JDCTA
2010
146views more  JDCTA 2010»
14 years 8 months ago
Modelling for Cruise Two-Dimensional Online Revenue Management System
To solve the cruise two-dimensional revenue management problem and develop such an automated system under uncertain environment, a static model which is a stochastic integer progr...
Bingzhou Li