Sciweavers

2226 search results - page 145 / 446
» Pdk: The System and Its Language
Sort
View
POLICY
2009
Springer
16 years 29 days ago
The Zodiac Policy Subsystem: A Policy-Based Management System for a High-Security MANET
Abstract—Zodiac (Zero Outage Dynamic Intrinsically Assurable Communities) is an implementation of a high-security MANET, resistant to multiple types of attacks, including Byzanti...
Yuu-Heng Cheng, Mariana Raykova, Alexander Poylish...
RSP
2007
IEEE
139views Control Systems» more  RSP 2007»
16 years 21 days ago
Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina
Building Distributed Real-Time Embedded systems requires a stringent methodology, from early requirements capture to full implementation. However, there is a strong link between t...
Jérôme Hugues, Bechir Zalila, Laurent...
UM
2007
Springer
16 years 16 days ago
Push-Poll Recommender System: Supporting Word of Mouth
Abstract. Recommender systems produce social networks as a side effect of predicting what users will like. However, the potential for these social networks to aid in recommending i...
Andrew Webster, Julita Vassileva
ATAL
2003
Springer
15 years 11 months ago
An evolving multi agent system for meteorological alerts
The Australian Bureau of Meteorology has a requirement for complex and evolving systems to manage its weather forecasting, monitoring and alerts. This paper describes an agent-bas...
Sandy Dance, Malcolm Gorman, Lin Padgham, Michael ...
IFM
2010
Springer
124views Formal Methods» more  IFM 2010»
15 years 4 months ago
Safe Commits for Transactional Featherweight Java
Abstract. Transactions are a high-level alternative for low-level concurrencycontrol mechanisms such as locks, semaphores, monitors. A recent proposal for integrating transactional...
Thi Mai Thuong Tran, Martin Steffen