Sciweavers

1301 search results - page 166 / 261
» Specifications via Realizability
Sort
View
JSW
2008
130views more  JSW 2008»
13 years 10 months ago
A Constraint-Driven Executable Model of Dynamic System Reconfiguration
Dynamic system reconfiguration techniques are presented that can enable the systematic evolution of software systems due to unanticipated changes in specification or requirements. ...
D'Arcy Walsh, Francis Bordeleau, Bran Selic
JTAER
2008
111views more  JTAER 2008»
13 years 10 months ago
The Impact of Radio Frequency Identification (RFID) Investment Announcements on the Market Value of the Firm
This paper examines the impact of RFID investment announcements on the market value of the firms and explores industry effects of the positive abnormal returns to firms making the...
Bong-Keun Jeong, Ying Lu
JUCS
2008
125views more  JUCS 2008»
13 years 10 months ago
Evaluation of Agent-based Interactive Systems: Proposal of an Electronic Informer Using Petri Nets
: The evaluation of interactive systems has been an active subject of research for many years. Many methods and tools have been proposed but most of them do not take architectural ...
Chi Dung Tran, Houcine Ezzedine, Christophe Kolski
JSAC
2006
139views more  JSAC 2006»
13 years 10 months ago
ARSA: An Attack-Resilient Security Architecture for Multihop Wireless Mesh Networks
Multihop wireless mesh networks (WMNs) are finding ever-growing acceptance as a viable and effective solution to ubiquitous broadband Internet access. This paper addresses the secu...
Yanchao Zhang, Yuguang Fang
FGCS
2007
86views more  FGCS 2007»
13 years 10 months ago
A grid-based approach for enterprise-scale data mining
Abstract— We describe a grid-based approach for enterprisescale data mining that leverages database technology for I/O parallelism, and on-demand compute servers for compute para...
Ramesh Natarajan, Radu Sion, Thomas Phan