Sciweavers

3884 search results - page 628 / 777
» A simplified modeling approach for human system interaction
Sort
View
83
Voted
FM
2009
Springer
104views Formal Methods» more  FM 2009»
15 years 4 months ago
Verifying Information Flow Control over Unbounded Processes
Abstract. Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that re...
William R. Harris, Nicholas Kidd, Sagar Chaki, Som...
ATAL
2003
Springer
15 years 3 months ago
Expressive global protocols via logic-based electronic institutions
Communication is the key feature of Multi-agent Systems. The interactions among components of a system may take many distinct forms of increasing complexity such as in auctions, n...
Wamberto Weber Vasconcelos
COMCOM
2004
94views more  COMCOM 2004»
14 years 10 months ago
Content pricing in the Internet
Pricing content defines a major challenge for tomorrow's Internet, since existing models appear to be unworkable. However, the provider of content, commercial ones as well as...
Burkhard Stiller, Kevin C. Almeroth, Jörn Alt...
ISOLA
2010
Springer
14 years 8 months ago
A Theory of Mediators for Eternal Connectors
On the fly synthesis of mediators is a revolutionary approach to the seamless networking of today’s and future digital systems that increasingly need be connected. The resulting...
Paola Inverardi, Valérie Issarny, Romina Sp...
96
Voted
AUSDM
2008
Springer
221views Data Mining» more  AUSDM 2008»
15 years 5 days ago
Indoor Location Prediction Using Multiple Wireless Received Signal Strengths
This paper presents a framework for indoor location prediction system using multiple wireless signals available freely in public or office spaces. We first proabstract architectur...
Kha Tran, Dinh Q. Phung, Brett Adams, Svetha Venka...